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 grass-dev@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/grass-dev
