commit | 81b46ec0e5382735778d7ede92992f7d70a54d94 | [log] [tgz] |
---|---|---|
author | Ezio Melotti <ezio.melotti@gmail.com> | Sun Jan 20 12:18:17 2013 +0200 |
committer | Ezio Melotti <ezio.melotti@gmail.com> | Sun Jan 20 12:18:17 2013 +0200 |
tree | e8192667082d4b040d17cb62d497074ede1ef819 | |
parent | 35f8f372365fc836da207781588904ac7898fedb [diff] | |
parent | 410eee566f3bf2a33bfd1156ad8bb86f697c4749 [diff] |
#4153: merge with 3.2.