Every first Monday of the month there will be maintenance on the server from 5 pm Due to maintenance, Gitlab will be unavailable for approximately 60 minutes
Fixed two tiny bugs See merge request !85
