j
k
j a
j l
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
Back to the thread
Back to the list
