diff options
| author | David van Moolenbroek <david@minix3.org> | 2017-05-08 11:53:38 +0000 |
|---|---|---|
| committer | David van Moolenbroek <david@minix3.org> | 2017-05-08 11:53:38 +0000 |
| commit | 9f81acbc21316bcbade46d78b67a5f2e58d11bb9 (patch) | |
| tree | 32c4cb36cb63c83f8cece7d25fd095feae6cdc79 /?id=9f81acbc21316bcbade46d78b67a5f2e58d11bb9 | |
| parent | 9624407e7addfd8b88486acfe3a0e056e2b92ee3 (diff) | |
Fix lua
As reported by Jean-Baptiste Boric, lua would refuse to start,
throwing an error about incompatibility of numeric types.
This resolves #160.
Change-Id: I5cd6c3b2a35c7023946e4d14d4feedaaecb956fb
Diffstat (limited to '?id=9f81acbc21316bcbade46d78b67a5f2e58d11bb9')
0 files changed, 0 insertions, 0 deletions