catch2/scripts/patchRelease.py