>>>>> "Bernhard" == Bernhard Reutner-Fischer <rep.dot.nop at gmail.com> writes: Why? Please provide a bit more detailed commit messages to why we would want to do this - Shouldn't we rather get rid of that suffix completely? -- Bye, Peter Korsgaard