Processing commands for [email protected]: > forwarded 792689 https://github.com/doxygen/doxygen/issues/5728 Bug #792689 [doxygen] Non-ASCII characters are not emphasised Set Bug forwarded-to-address to 'https://github.com/doxygen/doxygen/issues/5728'. > close 792689 1.8.12-1 Bug #792689 [doxygen] Non-ASCII characters are not emphasised Marked as fixed in versions doxygen/1.8.12-1. Bug #792689 [doxygen] Non-ASCII characters are not emphasised Marked Bug as done > End of message, stopping processing here.
Please contact me if you need assistance. -- 792689: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=792689 Debian Bug Tracking System Contact [email protected] with problems
