@jcoglan wouldn't a pull request mentioning the issue solve that, by alerting both the original author and issue creator that there's a fix?