Commit 7edc1c870e34647a5fad0f243331d0385b2cab5d

Patrick Steinhardt 2018-08-30T12:51:05

Merge pull request #4788 from tiennou/doc-fixes Documentation fixes