Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[WIP, don't merge] Fix #1804 and tweak #1595 #1865
There are still possibly problematic corner cases with
#1862 can be merged as is in the mean time if you want. I'll rebase this.