Merge pull request #5696 from marcin-rzeznicki/master
Please bump up libjwt version
commit3a7e1a872f4a07fd6a7bbb633f02aca6314a022b
authorChris Dornan <chris@chrisdornan.com>
dateMon 19 Oct 2020, 04:55 (6 years ago)
parent703a0ab848af5b
debian-bootstrap.sh+1−1
@@ -320,7 +320,7 @@ Z3_VER=4.8.8
320320 && ln -s /usr/local/z3-${Z3_VER}-x64-ubuntu-16.04/bin/z3 /usr/bin/z3
321321)
322322
323−LIBJWT_VER=1.12.0
323+LIBJWT_VER=1.12.1
324324(
325325pushd /tmp \
326326 && wget https://github.com/benmcollins/libjwt/archive/v${LIBJWT_VER}.zip \