| commit | d309a8ddae917ed460dc7d6213771387ffd383fc | [log] [tgz] |
|---|---|---|
| author | Nicola Ferraro <ni.ferraro@gmail.com> | Tue Dec 03 16:50:29 2019 +0100 |
| committer | Luca Burgazzoli <lburgazzoli@users.noreply.github.com> | Thu Dec 05 16:51:52 2019 +0100 |
| tree | b3e8be043f4ea97cef4eea2575d1a0d6738ad65f | |
| parent | 01a8c7f565a1a6ea4e1151bba40d5321f4f12765 [diff] |
Fix #1047: create a default platform when possible