Fixes bug 1254 and bug 1247
[osm/devops.git] / .gitmodules
2020-08-27 beierlmMerge v8.0 Into Master 25/9625/4