Expect some interruptions in jenkins on Tuesday Jul 2 as I will upgrade the OS to debian 12.
I will perform the upgrade early in the morning so hopefully basic operation will not be interrupted for most practical purposes. However, there are always quirks that needs to be taken care of when doing an upgrade so be warned there might be some dragons next week while I work out the kinks. arnem _______________________________________________ Opm mailing list -- [email protected] To unsubscribe send an email to [email protected]
