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)

Trivial merge