> 
> Maybe the simplest "solution" is turning --disable-encoding back on?
> At least that seems to generate the same (boring ASCII only) INSTALL
> file with both 7.0.3 and 7.1.
> 

Alternatively, we regenerate to 7.1 and call it the new baseline...

[[I just checked and in Gentoo we even only have 7.1 left at the moment
(though restoring the old version would be easy).]]

Whatever we do with unicode will lead to failed checks somewhere then
though.

> Cheers,
> 
> Mark
> 


-- 
Andreas K. Hüttel
dilfridge@gentoo.org
Gentoo Linux developer 
(council, comrel, toolchain, base-system, perl, libreoffice)
https://wiki.gentoo.org/wiki/User:Dilfridge