Hi all,

the Ubuntu installation running Wiki and Jenkins needs to be upgraded to a more recent release, so please don’t be alarmed if some downtime occurs between now and Tuesday or something.

Also, it would be sensible to not do major new edits in the Wiki at the moment, because I’m taking a safety snapshot before the upgrade, and if I would need to restore that, the edits since then would be gone.

Thanks
Maik