Build #16 (Feb 19, 2024, 3:56:57 AM)

1. Bump version to 3.7.15 (details / githubweb)

Push event to branch R3_7_maintenance at 3:56:45 AM on Feb 19, 2024

This run spent:

• 25 sec waiting;
• 6 min 52 sec build duration;
• 6 min 59 sec total from scheduled to completion.

• R3_7_maintenance