Shammah Chancellor via Digitalmars-d
2014-10-05 00:09:34 UTC
There are currently 3588 issues in some open state, and zero
closed/resolved issues. This seems dubious to me. Shouldn't issues
be closed when the PR is merged? Have I made some mistake with my
bugzilla query?
-S.
closed/resolved issues. This seems dubious to me. Shouldn't issues
be closed when the PR is merged? Have I made some mistake with my
bugzilla query?
-S.