Done and done :) Once the relevant binaries are online, we can post the big announcement and upload the updated rss.xml for the news box.
cheers Markus _______________________________________________ grass-dev mailing list grass-dev@lists.osgeo.org http://lists.osgeo.org/mailman/listinfo/grass-dev