| commit | d2685260c4411c8f3e49c69f7613fe7c9fe5f008 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 18:29:31 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sat Nov 03 18:29:31 2012 +0200 |
| tree | df70062b1beaae2ba11702253d88d36276bb8d59 | |
| parent | 4e0f36b1565ba07a33d6b68f80c52be44cf916b2 [diff] | |
| parent | befaac03bbf7bdc8e34f722072931c2e4a2408b5 [diff] |
#4711: merge with 3.3.