Subject: [bug#30289] gnu: doxygen: Update to 1.8.14.

From: Gábor Boskovits <[email-masked]>
Date: Fri, 22 Jun 2018 21:53:52 +0200

It seems that core-updates is now open, I guess you can push this.