Vacation November 20th→December 1st included


I’ll take about two weeks vacations starting tomorrow until December 1st included. I’ll however be available to help with emergencies such as service outage, in case noone else can. If I’m not mistaken @pilou you recently confirmed that you have access to all fedeproxy resources: please let me know if you miss something.