commit | befaac03bbf7bdc8e34f722072931c2e4a2408b5 | [log] [tgz] |
---|---|---|
author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 18:29:16 2012 +0200 |
committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 18:29:16 2012 +0200 |
tree | a1800a43e2b50b9b9d7799ef6647138d465cc68e | |
parent | fafa8b7797034aa799157172392a5b7721e1854a [diff] | |
parent | dedfa9bfaec868af2099b44e68bd98ebd5075062 [diff] |
#4711: merge with 3.2.