| commit | 739e1790f8576543b4058cc60a993be643367c91 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Sun Nov 18 23:16:02 2012 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Sun Nov 18 23:16:02 2012 +0200 |
| tree | e29761d148c9b556a420b1a0d2de3747744b0706 | |
| parent | 99f57942e050d03d14f44b1755dd81478e7cddfb [diff] |
#7782: merge with 3.3.