Fix typo in a comment

This commit is contained in:
Emmanuele Bassi 2020-06-18 17:20:56 +01:00
parent 979bf5c6fb
commit 7e03288724