RSS Bot Posted October 13, 2023 Share Posted October 13, 2023 patching: accept a sha1 in BASE_GIT_TAG (as well as branch or tag) patching: accept a sha1 in BASE_GIT_TAG (as well as branch or tag) just for convenience View the full article Link to comment Share on other sites More sharing options...
Recommended Posts