Minor changes

This commit is contained in:
Gerhard Hoffmann 2022-06-04 21:43:57 +02:00
parent 6741ed8b34
commit 11e8ef90c0