Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This causes only warnings with -Wpedantic, which we don't intend to use. But doesn't hurt to fix anyway. Signed-off-by: Frank Lichtenheld <frank@lichtenheld.com>
- Loading branch information