Commit 257578e5 authored by Enrico Zini's avatar Enrico Zini
Browse files

Use urls in maintenance warnings, so one can easily investigate

parent 0652faeb