tree deb7a1fb0dbb20dd8cabf44dbb81a35d4298e140
parent 2f5cb2b97dbb90e55f84f8d9d463c40e130cdb42
author gwenn <gtreguier@gmail.com> 1536475648 +0200
committer gwenn <gtreguier@gmail.com> 1536490049 +0200

Fix clippy warnings