2021-06,openjdk-jdk17-latest,migration (Mar 15, 2024, 3:48:39 AM)

1. [doc] Add 7.1.2 section to the release notes (details / githubweb)

Started by upstream project sirius-7.1.x build number 8
originally caused by:

• Started by user Pierre-Charles David

This run spent:

• 6.9 sec waiting;
• 10 min build duration;
• 11 min total from scheduled to completion.

• origin/v7.1.x