avoid needless format string position identifiers
authorRalf Jung <post@ralfj.de>
Fri, 6 Mar 2015 12:20:13 +0000 (13:20 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 6 Mar 2015 12:20:13 +0000 (13:20 +0100)

No differences found