patch #11

Merged
willi.junga merged 2 commits from patch into master 2020-05-31 01:30:14 +02:00

2 commits

Author SHA1 Message Date
Willi Junga 6519ffb541
Merge branch 'devel' 2020-05-31 01:27:52 +02:00
Willi Junga 73c0b7dd6f
zwölf 2020-05-31 01:27:34 +02:00