legion_prof: check the version number (!1007) · Merge requests · StanfordLegion / legion · GitLab

Wei Wu requested to merge prof_versioncheck into master Nov 29, 2023

This PR is for the GitHub issue https://github.com/StanfordLegion/legion/issues/1603