Commit 4d32ebdd74545bd0cd729c9aaabe3a8c2e992feb

Stefano Lattarini 2013-01-18T13:32:12

NEWS: update w.r.t. recent documentation fixes Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>