Merge branch 'micro' into minor
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 27 Dec 2014 15:33:12 +0000 (16:33 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sat, 27 Dec 2014 15:33:12 +0000 (16:33 +0100)
* micro:
  tests: fix spurious failure in test on TEXINFO_TEX overriding
  tests: avoid some spurious failures on AIX 7.1

1  2 
t/txinfo-override-texinfo-tex.sh

Simple merge