Closed wilkinsona closed 4 weeks ago
Thanks, @izeye. It didn't auto-close because of this repository's unusual branch structure. That means the change was never merged forwards into the default branch which is what has to happen for GitHub to do the auto-close.
9c82346 seems to have intended to close this issue but didn't work for some reason.