Merge pull request #4334 from Tiboris/jose
authorRosen Penev <rosenp@gmail.com>
Wed, 3 Apr 2019 21:16:59 +0000 (14:16 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Apr 2019 21:16:59 +0000 (14:16 -0700)
commit3ba2e1c878cd1e942ce50b6458df016c2015261a
tree9280d5b4f295bf353ffe4612ac5d654ccdac6621
parentee6a0811bbedca961f4ea99cf05250c024584140
parent589e39bef2ad2a5094357637261fb5802d87746b
Merge pull request #4334 from Tiboris/jose

jose: Add Makefile for jose v10