Closed MuellerSeb closed 2 years ago
These are all sensible changes, but I fear that this will lead directly into merge hell. How about merging PR #243 and remove the cherry picking from this PR?
But merging this and rebasing #243 should also work, or? I don't want to include #243 in 1.4 just now, that is why I cherry picked the fixes from there.
Cherry picks from #243 to be included in v1.4: