Processed: reassign 718636 to libdolfin1.2-dev, fixed 718636 in 1.2.0+dfsg-1

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 718636 libdolfin1.2-dev
Bug #718636 {Done: Johannes Ring <johannr at simula.no>} [libdolfin1.0-dev] libdolfin1.0-dev: dolfin.h header unusable
Bug reassigned from package 'libdolfin1.0-dev' to 'libdolfin1.2-dev'.
No longer marked as found in versions dolfin/1.0.0-7.
No longer marked as fixed in versions dolfin/1.2.0+dfsg-1.
> fixed 718636 1.2.0+dfsg-1
Bug #718636 {Done: Johannes Ring <johannr at simula.no>} [libdolfin1.2-dev] libdolfin1.0-dev: dolfin.h header unusable
Marked as fixed in versions dolfin/1.2.0+dfsg-1.
> thanks
Stopping processing here.

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