[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Many thanks for undertaking this task, Dimitrios and Gabriel. Nikhil On Mon, Oct 30, 2017 at 8:45 AM, Benjamin C. Pierce <bcpie...@cis.upenn.edu> wrote: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > Many thanks, Dimitrios, for the great job you’ve done over the past three > years! The Types list is an important resource for the community, and your > stewardship has been much appreciated. > > And thanks to Gabriel for stepping up to take over this job! > > - Benjamin > > > On Oct 30, 2017, at 7:02 AM, Dimitrios Vytiniotis < > dimit...@microsoft.com <mailto:dimit...@microsoft.com>> wrote: > > > > [ The Types Forum (announcements only), > > http://lists.seas.upenn.edu/mailman/listinfo/types-announce < > http://lists.seas.upenn.edu/mailman/listinfo/types-announce> ] > > > > > > Dear all, > > > > It has been my great pleasure to act as the moderator of the TYPES forum > and the TYPES/announce mailing list over the past 3.5 years but I feel it > is now a good time for a successor. Going forward, I am very happy to > announce that Gabriel Scherer (from INRIA) has kindly agreed to take up the > job and serve as the next moderator – I am sure he will do a great job! > > > > Kind regards, > > Dimitrios Vytiniotis > >