Alessio Placitelli 9bd386ae05 Document where to submit requests/bugs ... This got lost somewhen and people were left wondering :-)		2022-05-17 13:39:34 +02:00
..
dev	Release process: Use clear wording that it's creating a full release	2022-05-16 18:04:52 +02:00
shared	Attend to review comments [doc only]	2021-06-04 17:58:27 +02:00
user	Document where to submit requests/bugs	2022-05-17 13:39:34 +02:00