reassign 573943 mcrl2 found 573943 201001-1 thanks Hi Paul,
On Tue, Mar 16, 2010 at 7:59 PM, Paul van Tilburg <pau...@debian.org> wrote: > However, I will take it to thme to rename have it to "grapemcrl2" > or something. I'll keep you all posted. thank you for you cooperation! Cheers, Torsten -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
