Apologies for repeat mails

Sorry for the duplicate mails.

I'm not sure quite what happened, but I suspect I looked at the website of  
the mailing list, and got a cached copy, so that the mails I sent Friday  
weren't shown, so I resent them.


Received on Tuesday, 22 November 2016 10:36:18 UTC