Revision 74c1ea9035484c920fe80fea43dcc34f66af8a21

Committed on 09/10/2019 1:02 am by Christophe Coevoet <stof@notk.org> [GitHub Diff]

Fix typo in the doc