On Sun, 4 Nov 2007, Christopher Stone wrote:
After more investigation, I found out this bug is already fix in
doxygen-1.5.3. Than never pushed the new release, rawhide is still
using 1.5.2.
Hm, hm, looks like that bug will then just go away shortly.
Linus