On Sat, Feb 1, 2020 at 5:24 AM Abdelatif Guettouche < abdelatif.guettou...@gmail.com> wrote:
> > I have noticed there seem to be less discussion happening on mailing, > and there may be some conversion happening off-list, which may be an issue > that needs to be looked into. But just about all podlings have that issue > at this stage. > > Correct. Some discussions are also happening on PRs comments. Those are all being forwarded to dev@. (At least, I am receiving a copy of each, and it appears to be coming from (or to?) dev@.) Thanks, Nathan