| commit | b3d188f7792d037ee8b10d81bc26f9aeadbf8bbd | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Fri Dec 02 18:23:54 2011 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Fri Dec 02 18:23:54 2011 +0200 |
| tree | 6c1b8b77062e564eb11069d2fc411a9132b83610 | |
| parent | 47862d4c0ea5dc75c2f094f071847aca378dab9d [diff] | |
| parent | 6cc5bf765688fc1fa6bc7b634562c411e6495fde [diff] |
#8414: merge with 3.2.