[TYPES] [TYPES/announce] new moderator: Gabriel Scherer

[Rishiyur Nikhil]

Many thanks for undertaking this task, Dimitrios and Gabriel.

Nikhil

On Mon, Oct 30, 2017 at 8:45 AM, Benjamin C. Pierce <bcpierce at 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 <
> dimitris at microsoft.com <mailto:dimitris at 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
>
>