| Mon, 26 Nov 2018 14:31:36 +0100 | Wuzzy | Lua API: Change PLATFORM to INTERFACE | file | diff | annotate |
| Sat, 24 Nov 2018 19:08:52 +0100 | unc0rr | Fix build | file | diff | annotate |
| Fri, 23 Nov 2018 16:20:55 -0500 | nemo | more uninitialised values | file | diff | annotate |