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!