BRANCH-RELEASE-0_4_2-ROOT
dlehn@users.sourceforge.net
GitLab will be down for maintenance Monday June 03, from approx 10am UTC for roughly 48 hours. This is for a major gitlab upgrade which requires a DB migration. See the tracker issue for more informations.