Closed ipspace closed 2 months ago
Fixes #1148
Wrong title (now fixed) and order of PRs, this one has to be applied after #1150
Fixes #1148