[Softhsm-develop] Build environment jenkins outage for maintanance

[Berry A.W. van Halderen]

To perform a necessary upgrade of the Jenkins environment and its
plugins I'd like to inform you that ot will out or perform
unexpectedly.

This maintenance I would like to do next Friday the 22th
of Januari starting 08:00 CET and may take the entire day.
During that time the build-bot will be disabled and restarted.

Regards,
Berry van Halderen