Bug#694502: Close the bug?

[Anton Gladky]

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