Hi @schwicke , I will be on holidays that week (16 Nov to 22 Nov 2019) so proposing this change if you are OK with it!
Only issue with this is that I may be alone on ES during that time, as Pablo will go to CHEP and plans to stay a week longer.
merged
mentioned in commit d92d6ec9