merge use-gc-del-3

Merged Carl Friedrich Bolz-Tereick requested to merge branch/use-gc-del-3 into branch/default

opening a pull request in order to try out the bitbucket code review/commenting tool.

Merge request reports