Commit e135441c120410c222891af756b35e079ba579b1

Bruno Haible 2008-04-13T21:41:13

Work around a HP-UX stdio bug.