diff --git a/scripts/updates/github-projects.txt b/scripts/updates/github-projects.txt index 0122f0084..32dd09e86 100644 --- a/scripts/updates/github-projects.txt +++ b/scripts/updates/github-projects.txt @@ -725,7 +725,9 @@ xmake|xmake-io/xmake #yajl|lloyd/yajl youtubedr|kkdai/youtube -z3|Z3Prover/z3|\d+\.\d+\.\d+ + +## May require replacing patches when updating. +#z3|Z3Prover/z3|\d+\.\d+\.\d+ ## Returns 'null' in latest tag. #zbar|mchehab/zbar