Hello Matthias,

I am reaching you for the Doxygen Debian package as you appear in its Debian changelog.
Doxygen generated search.php does not work with Php 7.0, it is thus 
broken on Stretch.
Upstream has fixed it, but we would need the patch to be backported as 
an update to the Stretch package.  Is that something you could 
potentially handle?

The patch is straightforward:

https://github.com/doxygen/doxygen/commit/22b67836d678cea695b977ec648c0aa013339c55
https://github.com/doxygen/doxygen/pull/680


And Debian bug: https://bugs.debian.org/925068


--
Antoine "hashar" Musso

Reply via email to