tree 138698a348b60a47075a71666652a9182d2915d8
parent 6325d5c9bc54b81e0354127523b7ac449c56c0a1
author Terry Chia <terrycwk1994@gmail.com> 1443356769 +0800
committer Terry Chia <terrycwk1994@gmail.com> 1443358123 +0800

Pin version of hypothesis above 1.11.4.