upstream/1.8.12+docs

Gilles Filippini

@pini

07251d05 · Imported Upstream version 1.8.12+docs · Feb 16, 2014

Upstream version 1.8.12+docs