tree b23658fb83522e09bd9e545174b513c6ded51097
parent f6b1527eb96c99150096e15f48b32f19f6253cd6
author Michael Tuexen <tuexen@fh-muenster.de> 1620154943 +0200
committer Michael Tuexen <tuexen@fh-muenster.de> 1620154943 +0200

Fix compilation issues introduced with the last commit.