tree b8acf936834d153c752e1c1040a184fd35db88f2
parent d2685260c4411c8f3e49c69f7613fe7c9fe5f008
parent 68600aff3a841c1d901758c0e4e3fb3aafc7354e
author Ezio Melotti <ezio.melotti@gmail.com> 1351967656 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1351967656 +0200
HG:rename-source hg

#12759: merge with 3.3.