github notifications

I saw that replies to github issues don't get forwarded to this list. So as 
an experiment, I have added the address of this list as a destination for 
issue notifications.
Steven

Received on Tuesday, 11 January 2022 11:53:03 UTC