Hi, does anyone know how to how to forward GitHub pull requests to this list?
They tend to get lost: https://github.com/OSGeo/grass/pulls https://github.com/OSGeo/grass-addons/pulls thanks Markus _______________________________________________ grass-dev mailing list [email protected] https://lists.osgeo.org/mailman/listinfo/grass-dev
