Merge pull request #4334 from Tiboris/jose
authorRosen Penev <redacted>
Wed, 3 Apr 2019 21:16:59 +0000 (14:16 -0700)
committerGitHub <redacted>
Wed, 3 Apr 2019 21:16:59 +0000 (14:16 -0700)
jose: Add Makefile for jose v10


Trivial merge
git clone https://git.99rst.org/PROJECT