Discussions

[Andy Seaborne]

I notice that discussions on github are not reflected onto the project 
mailing list.

Can we get this changed?
        Andy