reassign 573943 mcrl2 found 573943 201001-1 thanks Hi Paul, On Tue, Mar 16, 2010 at 7:59 PM, Paul van Tilburg <paulvt at 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