From: Brian Warner <warner@lothar.com>
Date: Wed, 7 Aug 2019 20:44:14 +0000 (-0700)
Subject: Merge branch '21-pin-travis'
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c2f7580a82b3f37d7854245b2436d55956e4984e;p=PAKEs.git

Merge branch '21-pin-travis'

refs #21
---

c2f7580a82b3f37d7854245b2436d55956e4984e