[Gretl-devel] Ubuntu 12.04 and homepage

Hi, the warning about gretl on Ubuntu 11.04 has been on the homepage for a while (I think I had suggested it). Now that ubuntu 12.04 is out, I guess it's time to remove that warning from the web? Assuming that there isn't a problem now, that is. (I have upgraded one machine to 12.04, but I'm not running the built-in package there, so I don't know.) cheers, sven