https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85948
--- Comment #2 from Jonny Grant <jg at jguk dot org> --- Great work Manuel
- [Bug c/85948] printf format attribute warning line... manu at gcc dot gnu.org
- [Bug c/85948] printf format attribute warning... jg at jguk dot org
