(#933): ci/check_project_version.py: New script to check the project's version number across several files
(#933 (closed)): ci/check_project_version.py: New script to check the project's version number across several files
Fixes #933 (closed)
(#933 (closed)): ci/check_project_version.py: New script to check the project's version number across several files
Fixes #933 (closed)