On Monday, 3 April 2017 at 23:28:34 UTC, Andrei Alexandrescu
wrote:
Hello,
By this we are happy to announce that Mike Parker graciously
agreed to take over the role of DIP czar.
DIP management requires a mix of skills (technical, editorial,
organizational, interpersonal, and literary) that Mike
possesses in spades. Looking forward to a long and fruitful
cooperation.
Please join me in thanking and congratulating Mike!
Andrei
Thanks for volunteering, Mike. I'll try to chip in more with the
blog, help you out with that.
