Merge pull request #89 from bgamari/master
authorBen Gamari <ben@smart-cactus.org>
Mon, 20 Feb 2017 23:13:24 +0000 (23:13 +0000)
committerGitHub <noreply@github.com>
Mon, 20 Feb 2017 23:13:24 +0000 (23:13 +0000)
Bump time upper bound


Trivial merge