tree b3fa50a1b8215ef225b90a43d3a4ea451b17440b
parent 754398fdb702dcfbf9f084d5c321410020b5d854
author gwenn <gtreguier@gmail.com> 1538763687 +0200
committer gwenn <gtreguier@gmail.com> 1538763687 +0200

Fix some Clippy warnings