tree 185e3331bf194e49a840f2ed01036508b411e2b5
parent 4dbb988c6ffcd544a6dace906a0f3394b6f8c69c
author Zesstra <zesstra@zesstra.de> 1574800096 +0100
committer MG Mud User <mud@mg.mud.de> 1574800096 +0100

Pragma pedantic entfernt.

Change-Id: I7522eebd60c81b86abca484884e8276ed5bd31f9