tree 0d15ba0ae4134870b3ea536e78ea3c325e634ef2
parent dc3b5411a23a5b44ff518193e5fa042cdf81994e
author gwenn <gtreguier@gmail.com> 1520159981 +0100
committer gwenn <gtreguier@gmail.com> 1520159981 +0100

Fix typo in comment