Signed-off-by: Daniel Scheffler danschef@gfz-potsdam.de
added Bugfix label
enabled an automatic merge when the pipeline for b066a371 succeeds
merged
mentioned in commit 7415851f