Closed hkollmann closed 6 years ago
Some minor fixes, see single commit messages
@hkollmann Ok, I'm ready to merge this - or do you want to add anything more?
No not in this PR! Thanks!
Thank you @hkollmann.
Some minor fixes, see single commit messages