Commit d8965b7823ae5167a60fa39ad91b9fdc26280513

Bruno Haible 2008-04-13T19:25:13

Work around a HP cc compiler bug.