mirror of
https://github.com/luanti-org/luanti.git
synced 2025-11-30 12:43:49 +01:00
Fix a typo pointed out by @thecow275. Also, use the deprecated notification system which respects the deprecated_lua_api_handling setting.
4.2 KiB
4.2 KiB