Gitlab has been updated. More info here and there.
added dev. in progress label
closed
removed dev. in progress label
assigned to @SebastienCOUDERT