Merge pull request #5696 from marcin-rzeznicki/master

Please bump up libjwt version
This commit is contained in:
Chris Dornan 2020-10-19 04:55:19 +01:00 committed by GitHub
commit 3a7e1a872f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -320,7 +320,7 @@ Z3_VER=4.8.8
&& ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
)
LIBJWT_VER=1.12.0
LIBJWT_VER=1.12.1
(
pushd /tmp \
&& wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \