Commit cceefcda76ffbaa4c2e1336a83614446e394208e

Patrick Steinhardt 2018-10-04T09:50:21

Merge pull request #4827 from tiennou/fix/documentation-fixups Documentation fixups