commit | 86f8a8125e1e64b7e692745b16bc5adb072d5fc3 | [log] [tgz] |
---|---|---|
author | Nicola Ferraro <ni.ferraro@gmail.com> | Tue Dec 03 17:48:02 2019 +0100 |
committer | Luca Burgazzoli <lburgazzoli@users.noreply.github.com> | Thu Dec 05 16:51:52 2019 +0100 |
tree | d8b343e002257b372702e63da739d1a9196e6600 | |
parent | d309a8ddae917ed460dc7d6213771387ffd383fc [diff] |
Fix #1047: fix lint