Processing commands for cont...@bugs.debian.org:
> reassign 718636 libdolfin1.2-dev
Bug #718636 {Done: Johannes Ring <joha...@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 <joha...@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 ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
