digitalmars.D - issues.dlang.org utilization?
- Shammah Chancellor (5/5) Oct 04 2014 There are currently 3588 issues in some open state, and zero
- David Nadlinger (5/9) Oct 04 2014 Seems like you have indeed:
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.
Oct 04 2014
On Sunday, 5 October 2014 at 00:05:51 UTC, Shammah Chancellor wrote: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?Seems like you have indeed: https://issues.dlang.org/buglist.cgi?list_id=116193&query_format=advanced&resolution=FIXED&resolution=INVALID&resolution=WONTFIX&resolution=LATER&resolution=REMIND&resolution=DUPLICATE&resolution=WORKSFORME&resolution=MOVED David
Oct 04 2014