John Paul Adrian Glaubitz <glaub...@physik.fu-berlin.de> writes:

> Ping. Any chance we can get these small fixes merged for the next
> branch?

Tyrel, I think these all look good. Thanks Adrian.

We should really remove the -Werror from the default build flags, and
instead use it judiciously in the CI.

Reply via email to