Bug#945427: thanks !

[Paolo Greppi]

Hi and thanks. I have incorporated your fix as follows:
https://salsa.debian.org/debian/doxygen/commit/e4a00bde1d8b864d4588554c5c21ae43b4519dee

I plan to release to unstable shortly.

Paolo