[Freemint-list] This mailing-list vs GitHub issues

[Jo Even Skarstein]

So what is the purpose of this mailing list now? Does it have a purpose
now that we have GitHub issues? Should everything be moved to GitHub, or
should we keep the mailing list as well?

Jo Even