Merge branch 'fix-half-pr14760' into micro
authorStefano Lattarini <stefano.lattarini@gmail.com>
Tue, 23 Jul 2013 19:39:06 +0000 (20:39 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Tue, 23 Jul 2013 19:39:06 +0000 (20:39 +0100)
* fix-half-pr14760:
  tests: fix a spurious failure on NetBSD-current


Trivial merge