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.

--

Reply via email to