upstream/1.8.12+docs1

Gilles Filippini

@pini

4329f0b2 · Imported Upstream version 1.8.12+docs1 · May 04, 2014

Upstream version 1.8.12+docs1