Commit d553237a081a83832df8ee7c3c7d9877d17507b5

Bruno Haible 2002-04-08T12:39:19

Small optimization.