upstream/1.8.13+docs

Gilles Filippini

@pini

18d064ce · Imported Upstream version 1.8.13+docs · May 25, 2014

Upstream version 1.8.13+docs