Merge branch '4219-verify-with-hints' closes #4219
authorTom Clegg <tom@curoverse.com>
Thu, 16 Oct 2014 15:51:56 +0000 (11:51 -0400)
committerTom Clegg <tom@curoverse.com>
Thu, 16 Oct 2014 15:51:56 +0000 (11:51 -0400)
commitb19a6058168a290fe789b2228c13935edc6e5546
tree35770e0383d83e1abfc6479a1b91b9830b80e9bd
parent69441aa2a477099731f36f6e7995fc2ec85c8c86
parent1d0d4b16be0e9478dd6f98014a30610c5e579afa
Merge branch '4219-verify-with-hints' closes #4219