Skip to content

RegionalBOLD: Update grouped region names

Ahmet Nihat Simsek requested to merge fixRegionalboldGroupedRegionNames into master

To solve issue #6 (closed), this PR employs the same change e66e87ae did. However, I could not locate the script mentioned in the commit. Should be double-checked with @t.dickscheid to document the process.

Merge request reports