Build #9 (Mar 13, 2024, 7:01:31 AM)

1. Update banner of second latest info center to say "past release" (details / githubweb)
2. Add latest release to Jenkins build job parameter (details / githubweb)

Started by user Frederic Gurr

This run spent:

• 17 sec waiting;
• 5 min 52 sec build duration;
• 5 min 52 sec total from scheduled to completion.

• refs/remotes/origin/main