On Sat, 20 Nov 2010 20:57:07 +0000, Pauli Virtanen wrote: [clip] > There are more unnecessary merge commits in the git history. I did a forced push to clear those up. -- Pauli Virtanen