Julien Tanguy ff7fcd3805 docs: Fix a typo in github in an example ... (cherry picked from commit 92ede15dd9)		2019-10-09 16:25:17 +02:00
..
manual	docs: Fix a typo in github in an example	2019-10-09 16:25:17 +02:00