Commit 9ebd61e96966ed5c1896d02204d07d3eb341ab6f

Bruno Haible 2006-07-31T15:14:48

Should already have been removed on 2006-07-25.