]> git.lizzy.rs Git - PAKEs.git/commitdiff
Merge branch '21-pin-travis'
authorBrian Warner <warner@lothar.com>
Wed, 7 Aug 2019 20:44:14 +0000 (13:44 -0700)
committerBrian Warner <warner@lothar.com>
Wed, 7 Aug 2019 20:44:14 +0000 (13:44 -0700)
refs #21


Trivial merge