tree 0322db693548b2b377ac5f1d508ae9316dedcf2a
parent 17983b032c3f0e33523972e534b18df832922800
author Michael Tuexen <tuexen@fh-muenster.de> 1580206991 +0100
committer Michael Tuexen <tuexen@fh-muenster.de> 1580206991 +0100

Fix build issues.

Thanks to Felix Weinrank for reporting the issues and suggesting
fixes.