Hi,

gerris is not available in Wheezy. Is it OK, if
I just close the bug as after Squeeze-Ẃheezy upgrade
should remove gerris from the system?

Thanks

Anton
-- 
debian-science-maintainers mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Reply via email to