Bug#947897: patch is fine

[Paolo Greppi]

Hi Samuel,

thanks for the report.

I have incorporated your patch in the WIP next version 1.8.16-3 here:
https://salsa.debian.org/debian/doxygen

Paolo