[Buildroot] [PATCH 1/1] package/z3: bump to version 4.12.4

[Peter Korsgaard]

>>>>> "Julien" == Julien Olivain <ju.o at free.fr> writes:

 > For change log since 4.12.2, see:
 > https://github.com/Z3Prover/z3/blob/z3-4.12.4/RELEASE_NOTES.md#version-4124

 > Signed-off-by: Julien Olivain <ju.o at free.fr>
 > ---
 > Patch tested on branch master at commit b79fb3c with commands:

 >     utils/docker-run make check-package
 >     ...
 >     0 warnings generated

 >     support/testing/run-tests \
 >         -d dl -o output_folder \
 >         tests.package.test_z3
 >     ...
 >     OK

 >     utils/test-pkg -p z3
 >     ...
 >     6 builds, 4 skipped, 0 build failed, 0 legal-info failed, 0 show-info failed

Committed, thanks.

-- 
Bye, Peter Korsgaard