duplicate of 1539.
I forgot I push a fixed, since it isn't merged
Please merge bzr+ssh://bazaar.launchpad.net/~markd-kermodei/vm/texinfo-utf8-fix/
duplicate of 1539.
I forgot I push a fixed, since it isn't merged
Please merge bzr+ssh: //bazaar. launchpad. net/~markd- kermodei/ vm/texinfo- utf8-fix/