21 Jan
2019
21 Jan
'19
4:24 a.m.
Dear Committee, this is your secretary speaking: Adding namespaces to DEPRECATED has been proposed by Alex Dudarenko: https://github.com/ghc-proposals/ghc-proposals/pull/167 https://github.com/nineonine/ghc-proposals/blob/depr-entities/proposals/0000... I propose Vitaly Bragilevsky as the shepherd. Please reach consensus as described in https://github.com/ghc-proposals/ghc-proposals#committee-process I suggest you make a recommendation, in a new e-mail thread with the proposal number in the subject, about the decision, maybe point out debatable points, and assume that anyone who stays quiet agrees with you. Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/