Hi, I would strongly encourage people to make concrete and well-defined issues on GitHub for any major issues that you think need to be addresses before -13, -14 or -xx progress.
Mailing issues to the list is of course also accepted but tend to get dragged into long conversations and are not as visible. Issues on GitHub are much more visible. Cheers, John _______________________________________________ Emu mailing list Emu@ietf.org https://www.ietf.org/mailman/listinfo/emu