On Saturday, 19 November 2016 at 21:16:15 UTC, Dicebot wrote:
DIP 1003 is merged to the queue and open for public informal
Initial merged document:
If you want the change to be approved and have ideas how to
improve it to better match on
existing published reviews - please submit new PR with
editorial and ping original author.
Bump, if that makes sense.