doxygen (1.8.8-4) unstable; urgency=medium * Cherry pick 6d4044ad43ae1424a256eb1c26992301e7c64f4a. (Closes: #760700) * Declare compliance with policy 3.9.6: No changes needed. -- Helmut Grohne <email address hidden> Sun, 05 Oct 2014 17:52:01 +0200