25 Jul
2010
25 Jul
'10
12:29 p.m.
Applied in commit [73bd005b58]. I did some minor formal changes to the commit message, like adding a period to the summary to make it consistent with the other commits. See also the new file CONTRIBUTE in the repository. :) -- Vegard