Merge remote-tracking branch 'github-miracl/master' 1.1.1
authorSimeon Aladjem <simeon.aladjem@miracl.com>
Tue, 29 Nov 2016 11:31:21 +0000 (13:31 +0200)
committerSimeon Aladjem <simeon.aladjem@miracl.com>
Tue, 29 Nov 2016 11:31:21 +0000 (13:31 +0200)

Trivial merge