Re: Mike Parker is the new DIP czar

[rikki cattermole via Digitalmars-d-announce]

On 04/04/2017 12:28 AM, 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

Hip hip hooray! DIPs can live again, go Mike!