Time  Nick      Message
15:00 sfan5     merging #11271 in 10m
15:00 ShadowBot https://github.com/minetest/minetest/issues/11271 -- Fix curl_timeout being ignored for Lua HTTP fetches by sfan5
15:01 sfan5     Krock: mind if I push this too? https://github.com/minetest/minetest/commit/321f84d304feedf4b7e659c51b3ed970bf9e1231
15:10 nerzhul   sfan5: crazy tfix
15:12 sfan5     it builds fine so i'll just apply it too
16:54 Krock     sfan5: what does " || : " do?
16:55 sfan5     not exit the script if the command fails
16:55 sfan5     identical to "|| true"
16:56 Krock     ah interesting. too late, but looks good then