https://issues.dlang.org/show_bug.cgi?id=14530
--- Comment #4 from Vladimir Panteleev <[email protected]> --- (In reply to Steven Schveighoffer from comment #3) > PR has been merged, didn't get auto-closed for some reason. Because the issue # was not mentioned in the commit message. There is a simple secret for easy and correct commit messages: Copy the stuff in the gray band at the top of this page, starting with "Issue ..." and up to "(edit)", put that in the commit message, and prefix "fix " in front. --
