| commit | d1c7b1afe8eb49bc7ef3bbcae391e763c695d195 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Feb 13 11:42:29 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Feb 13 11:42:29 2012 +0200 |
| tree | 17bde3d8ec72d0cc666594ea2df9b35743f5265c | |
| parent | 3dc74c0a9d8ede7dd46715a2074dfad1edc78742 [diff] | |
| parent | 5211ffe4df8ea41423c1a37635f7c1263a1db754 [diff] |
#13993: merge with 3.2.