Merge branch 'micro' into minor
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 19 Dec 2014 12:31:21 +0000 (13:31 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 19 Dec 2014 12:31:21 +0000 (13:31 +0100)
* micro:
  Fix stupid typo in test, causing spurious failure


Trivial merge