Processed: Re: Bug#810583: libeigen3-doc: Navbar obscures documentation pages in HTML docs

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> fixed 810583 3.3.5-2
Bug #810583 [libeigen3-doc] libeigen3-doc: Navbar obscures documentation pages in HTML docs
Marked as fixed in versions eigen3/3.3.5-2.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
810583: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=810583
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems