On Saturday, 31 December 2016 at 01:14:23 UTC, Arun
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.
I have asked DIP author if he plans any last moment modifications
and will try to schedule it for review in January.