Merge pull request #44 from jpetso/master
authorJakob Petsovits <jpetso@users.noreply.github.com>
Mon, 2 Apr 2018 13:02:37 +0000 (09:02 -0400)
committerGitHub <noreply@github.com>
Mon, 2 Apr 2018 13:02:37 +0000 (09:02 -0400)
Add an encoding/decoding benchmark to test/ and CI bots


Trivial merge