Dear all,
Please be informed that, due to an important technical maintenance, the Gitlab server (git.list.lu) will not be available on Monday May 19th, from 7 A.M. to 11 A.M. (Luxembourg Time Zone).
Thank you for your understanding.
Maarten van der Veen authoredc5aeb319