gcovr 7.2 broken in Debian
Job #279651 failed for f978624e because Debian's maintainer for gcovr uploaded gcovr 3.2
under the name of gcovr 7.2
... That typo made us jump back by 10 years at a time where gcovr
did not support all options we have. I've sent a bug report to Debian. Will post the number when I have it.