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