[TYPES] new moderator: Gabriel Scherer

[Dimitrios Vytiniotis]

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