Am 07.11.19 um 22:33 schrieb Ludovic Courtès: > > Good catch! The honor belongs to Efraim, who spotted this in anotehr patch of mine. > Please push. Done: 41ee2097375dd9d6d72f2f1984eaef7c38d69a4a -- Regards Hartmut Goebel | Hartmut Goebel | h.goebel@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |