reassign 573943 mcrl2 found 573943 201001-1 thanks Hi Paul,
On Tue, Mar 16, 2010 at 7:59 PM, Paul van Tilburg <[email protected]> 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 _______________________________________________ pkg-java-maintainers mailing list [email protected] http://lists.alioth.debian.org/mailman/listinfo/pkg-java-maintainers
