mirror of
https://github.com/MariaDB/server.git
synced 2025-04-18 21:44:20 +03:00
The check makes sure that the backup contains the latest PR information (based on title and PR number).
The check makes sure that the backup contains the latest PR information (based on title and PR number).