| commit | 5ce6f8ed5c43fc87d1b2759d2bf9b8a180a5b244 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Dec 19 07:07:00 2011 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Dec 19 07:07:00 2011 +0200 |
| tree | 88dbe7d7dbbb51e49cc73069377de6ee0a9bb210 | |
| parent | a699a2d0c1a59aeaea47f50701c40a1cff18e4b6 [diff] | |
| parent | 80a61e8d4c551367d288d880d9d59e7e5cf35074 [diff] |
#13387: merge with 3.2.