nodiscc e5545436b0 doc: development/release procedure: version number must be bumped in doc/conf.py and README.mdn as well		2023-10-05 15:28:22 +02:00
..
images	Merge latest 0.12.2	2023-05-24 11:35:15 +02:00
Development.md	doc: development/release procedure: version number must be bumped in doc/conf.py and README.mdn as well	2023-10-05 15:28:22 +02:00