| commit | 7376801f61330d8053c9393da813a3092f881634 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 21:22:41 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 21:22:41 2012 +0200 |
| tree | bd6ae0bbaf488e4147acbf3d0555e5cf120083d6 | |
| parent | 1c8bb9f4d5478c4bc7e1b9dfa291753b184c2605 [diff] | |
| parent | c64bcbec4bb3cdad320184b4155cdc05c55bb10d [diff] |
#8401: merge with 3.2.