| 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