Merge pull request 'devel-wj' (#7) from devel-wj into master

This commit is contained in:
Willi Junga 2020-05-30 23:05:18 +02:00
commit c717801cd4

@ -1 +1 @@
Subproject commit 2b5ba438ded3a2e923e797e4c37ca7d35b342775
Subproject commit 667aa26e1bd498c3558405f182452beb9d5a8757