Commit 0563d811abc5f0b0dd96b7131d3dbb4d1706ed87

Bruno Haible 2009-03-08T13:56:24

Rename argument.