debian/1.9.4-2

Paolo Greppi

@paolog

7a717ffd · Temporary patch to fix compilation with gcc-12 · Jul 24, 2022

doxygen Debian release 1.9.4-2