Merge
authorBryan O'Sullivan <bos@serpentine.com>
Tue, 27 Jun 2017 00:23:41 +0000 (01:23 +0100)
committerBryan O'Sullivan <bos@serpentine.com>
Tue, 27 Jun 2017 00:23:41 +0000 (01:23 +0100)
commit240e1a58e2c0cce5b177e3bc30139b905b1060a6
treef94d2b73f6a7070813d5a0544b01e677d055bab6
parent9e6efb23d3e5f472f6bbe32878bd1f030717f8d1
parentb42b0ddb0141e4777398aca9a5d7cd4c7a020772
Merge
tests/Tests/Properties.hs