Time  Nick      Message
15:32 Krock     how can I test #14016? I did change the filter settings but did not notice any change between PR and master
15:32 ShadowBot https://github.com/minetest/minetest/issues/14016 -- [no squash] Return texture filter settings to previous state by sfan5
15:44 Krock     will merge #13924, #13996, #13997 and #14029 in 20 minutes
15:44 ShadowBot https://github.com/minetest/minetest/issues/13924 -- Mainmenu: Avoid the header being displayed behind the formspec by grorp
15:44 ShadowBot https://github.com/minetest/minetest/issues/13996 -- Update Indonesian translation of builtin by srifqi
15:44 ShadowBot https://github.com/minetest/minetest/issues/13997 -- Update Italian builtin translation by Zughy
15:44 ShadowBot https://github.com/minetest/minetest/issues/14029 -- Make it possible again to see item tooltips on Android by grorp
16:03 Krock     merging
16:08 Krock     done