URGENT! Gitlab maintenance operation scheduled for Thursday 23rd January from 2 p.m. to 6.00 p.m. (CET)
Merging v2.7.1 branch into master.