tree 271027eef837198195ff3bad2dd90aa652aecdaf
parent 212843b29f573f56c16940b0600b907847fc11f7
parent 0167edf8036eacc65fcfaead8ded157e7c7499ad
author Ezio Melotti <ezio.melotti@gmail.com> 1351971382 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1351971382 +0200
HG:rename-source hg

Merge typo fixes (and the fix for #8401 that I wrongly merged) with 3.3.