| commit | e5670640c75bac14c279ebe468bfed1f52b56634 | [log] [tgz] |
|---|---|---|
| author | gwenn <gtreguier@gmail.com> | Fri Aug 31 19:02:27 2018 +0200 |
| committer | GitHub <noreply@github.com> | Fri Aug 31 19:02:27 2018 +0200 |
| tree | 98c3c5a37656c740b655010d147d06b3cc780f8e | |
| parent | dd3c2495bba9806ecdee2ac6a308076abc332723 [diff] | |
| parent | 1dcadbd523b6cfba3fa987ac1c33cb511266aecc [diff] |
Merge pull request #144 from gwenn/clippy Fix one clippy warning