Continue procedures #91

Merged
muellerr merged 3 commits from kranz/master into develop 2022-05-25 16:25:35 +02:00

3 Commits

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