* Gary King [2008-09-10 14:37+0200] writes: > Here is a diff -c; let me know if there is a better way to send this > and/or a right person to send it to. Thanks. Committed. The preferred format is diff -u Helmut.