Commit ab777bf8ac5eb0ef86c9929fb0d4d2f8c7a7fa3a

Bruno Haible 2008-12-21T12:33:42

Update for HP-UX 11.11.