Verified Commit 934b5f59 authored by
QRVERBOSE: avoid a -Wpedantic warning
It's about a hundred of them. The price is making two printf calls instead of one. That seems acceptable; these warning tools can help us in future, and the likelihood of mixing outputs from different processes seems relatively small.
Showing with 15 additions and 12 deletions