tree e5817faaeb24b804bdef9561faeea473889a5dc0
parent c1018fe1ad6411afbb0b343eaf55c699368ba56c
author gwenn <gtreguier@gmail.com> 1488566528 +0100
committer gwenn <gtreguier@gmail.com> 1488566528 +0100

Fix clippy warnings