tree 8dc8ce09021a649f826e1e97a9c772711a97adc8
parent 35d0167b57fe26bb6073f027af8ecbb41afde16e
author gwenn <gtreguier@gmail.com> 1538763723 +0200
committer gwenn <gtreguier@gmail.com> 1538763723 +0200

Fix some rustc warnings