Florian Müllner authored Mar 11, 2019 and Florian Müllner committed Mar 12, 2019

With the previous fixes, we can now build with an increased warning
level to catch more errors. Unfortunately we cannot use the highest
level, as the platform itself relies on some features that -Wpedantic
complains about.

!99