upstream/1.8.16+docs

Gilles Filippini

@pini

22ba6f79 · Imported Upstream version 1.8.16+docs · Nov 16, 2015

Upstream version 1.8.16+docs