Closed Ekdohibs closed 2 weeks ago
Reopening the pull request, now that #2705 is merged.
Note: the commit reads as "Reapply ... #2690", I think it should be "Reapply ... #2628" (Or "Revert #2690").
Interesting, it seems like git revert did something strange. I'll fix the title when merging.
git revert
Reopening the pull request, now that #2705 is merged.