https://issues.dlang.org/show_bug.cgi?id=13704
--- Comment #5 from [email protected] --- Dunno, I've found that often I've to manually close the bugs, even though the commit hook does add a comment that a PR has been pushed. --
https://issues.dlang.org/show_bug.cgi?id=13704
--- Comment #5 from [email protected] --- Dunno, I've found that often I've to manually close the bugs, even though the commit hook does add a comment that a PR has been pushed. --