#13358: merge with 3.2.
authorEzio Melotti <ezio.melotti@gmail.com>
Fri, 18 Nov 2011 16:02:59 +0000 (18:02 +0200)
committerEzio Melotti <ezio.melotti@gmail.com>
Fri, 18 Nov 2011 16:02:59 +0000 (18:02 +0200)
1  2 
Misc/NEWS

diff --cc Misc/NEWS
Simple merge