GitHub Move

All,

as discussed last week, I'm adjusting the GitHub repository such as each 
will have a separate repository. Please refrain from working with the GH 
repo for the next 2 hours at least. I'll send a follow up email as soon 
as it is done.

Philippe

Received on Monday, 29 October 2018 14:17:00 UTC