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)
commita2cf40ea8043c262a5a53a1e7f401def195df3a8
tree25f10b0e6beb74e238b6455c19200ab0af6e00d0
parent312ed2165d04b4c8db7b07133209f69b19b45745
parent821cb07ecf235625b4bb06626d30e4b15f28df30
Merge pull request #89 from bgamari/master

Bump time upper bound