Processed: Re: Bug#841885: gerris: autopkgtests fail with openmpi2

Debian Bug Tracking System owner at bugs.debian.org
Mon Oct 24 19:51:11 UTC 2016


Processing commands for control at bugs.debian.org:

> tags 841885 +pending +patch
Bug #841885 [src:gerris] gerris: autopkgtests fail with openmpi2
Added tag(s) pending.
Bug #841885 [src:gerris] gerris: autopkgtests fail with openmpi2
Added tag(s) patch.
> thanks
Stopping processing here.

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



More information about the debian-science-maintainers mailing list