Time  Nick       Message
11:49 MTDiscord  <paradust> Are peer_ids part of any public API? Could the server tell all peers they have peer id 2, and instead keep track of clients using (ip, source port)
12:04 sfan5      not public api
12:04 sfan5      and yes it could
12:48 MTDiscord  <paradust> thanks
14:04 jwmhjwmh   rubenwardy: Do you want to review #12814 before it is merged?
14:04 ShadowBot  https://github.com/minetest/minetest/issues/12814 -- Fix broken fixed_virtual_joystick by srifqi
14:06 rubenwardy If it's been tested on Android then it's fine by me
14:10 jwmhjwmh   Merging #12814 in 5m.
14:10 ShadowBot  https://github.com/minetest/minetest/issues/12814 -- Fix broken fixed_virtual_joystick by srifqi