Closed wilzbach closed 6 years ago
https://auto-tester.puremagic.com/pull-history.ghtml?projectid=14&repoid=35&pullid=2194 https://auto-tester.puremagic.com/pulls.ghtml?projectid=14
A bit of bad data in the tester's mirror of the github pull data left over from an old bug prevented this one from being closed. Manually closed the issue. Should be (m)any of these left.
https://auto-tester.puremagic.com/pull-history.ghtml?projectid=14&repoid=35&pullid=2194 https://auto-tester.puremagic.com/pulls.ghtml?projectid=14