Commit 93679bd8c7f5e93f7f7f72909e1757eeaeab0c8d

Bruno Haible 2010-04-04T23:41:29

string: Remove unused substitution.