On Monday, 19 January 2015 at 10:05:42 UTC, ZombineDev wrote:
* The number of merged PRs is incorrect, because it includes PRs that have been merged before this week and only have new comments on them. E.g.: [1]
Ah, yes, fixed. https://github.com/D-Programming-Language/druntime/pulls?q=is%3Apr+is%3Amerged+merged%3A2015-01-12..2015-01-18+ shoudl give better stuff
