Continue procedures #91

Merged

muellerr merged 3 commits from kranz/master into develop

2022-05-25 16:25:35 +02:00

Author	SHA1	Message	Date
Robin Müller	74f639ab55	Merge branch 'develop' into kranz/master	2022-05-25 16:24:05 +02:00
Robin Müller	be71cb792e	some error checking for RWs	2022-05-25 15:31:45 +02:00
Robin Müller	01e91bffcd	kill all the duplication	2022-05-25 15:21:50 +02:00