Merge branch 'jc/fuzz-sans-curl'

CI job to build minimum fuzzers learned to pass NO_CURL=NoThanks to
the build procedure, as its build environment does not offer, or
the rest of the build needs, anything cURL.

* jc/fuzz-sans-curl:
  fuzz: minimum fuzzers environment lacks libcURL

diff --cc ci/run-build-and-minimal-fuzzers.sh
index 797d65c661f80d7f01295a109b8b8224fe17899f,bcf2ed54d29590cbc16b29cf8ba67414bf89842b..af8065f34992f86831b50b7af4d671c1d9f8805b
--- 1/ci/run-build-and-minimal-fuzzers.sh
--- 2/ci/run-build-and-minimal-fuzzers.sh
+++ b/ci/run-build-and-minimal-fuzzers.sh
@@@ -6,8 -6,9 +6,9 @@@
  . ${0%/*}/lib.sh
  
  group "Build fuzzers" make \
+       NO_CURL=NoThanks \
        CC=clang \
 -      CXX=clang++ \
 +      FUZZ_CXX=clang++ \
        CFLAGS="-fsanitize=fuzzer-no-link,address" \
        LIB_FUZZING_ENGINE="-fsanitize=fuzzer,address" \
        fuzz-all