Just a note to all those who may have a PR that targets stable, even if
you properly put in a commit message the instruction to close a bugzilla
issue, it will NOT be closed until the commit is merged into master.
The decision to do this was based on the amount of "spam" the bugzilla
issues receive when merging to other branches. In addition, when a PR
was reverted, then the original commit is pushed to some other branch
(along with the reversion), the bug gets closed again, and has to be
manually reopened again.
So from now on, only merges to master will affect bugzilla. This means
that your bug may not be closed when the original PR is merged, but it
will get closed when it goes to master.
See discussion here: https://github.com/dlang-bots/dlang-bot/issues/148
-Steve
