From 9bd5f612f75b3eaf9f981bd76f7fc6081c04d410 Mon Sep 17 00:00:00 2001
From: PilzAdam <pilzadam@minetest.net>
Date: Mon, 8 Jul 2013 02:28:36 +0200
Subject: [PATCH] Set numeric locale in Lua in main menu

---
 builtin/mainmenu.lua | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/builtin/mainmenu.lua b/builtin/mainmenu.lua
index 0f418d83a..87c96d690 100644
--- a/builtin/mainmenu.lua
+++ b/builtin/mainmenu.lua
@@ -1,3 +1,5 @@
+os.setlocale("C", "numeric")
+
 local scriptpath = engine.get_scriptdir()
 
 dofile(scriptpath .. DIR_DELIM .. "modmgr.lua")
-- 
2.25.1