From 2636ea0448a24f5e5729c5a4a11ecb9a06b23b1c Mon Sep 17 00:00:00 2001 From: Leonid Pliushch Date: Wed, 16 Jun 2021 16:43:41 +0300 Subject: [PATCH] autoupdates: disable z3 --- scripts/updates/github-projects.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/updates/github-projects.txt b/scripts/updates/github-projects.txt index 0122f0084a..32dd09e868 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