Time  Nick      Message
19:46 Krock     will merge #16153 #16253 #16274 and #15963 in 15 minutes. The FIRST PR does not have two approvals, but its changes are unlikely to cause issues (any more). Otherwise please do object.
19:46 ShadowBot https://github.com/luanti-org/luanti/issues/16153 -- Fix in links and names by MiguelPL4
19:46 ShadowBot https://github.com/luanti-org/luanti/issues/16253 -- Add documentation index for `doc/` as `README.md`, and small docs fixes by Xeno333
19:46 ShadowBot https://github.com/luanti-org/luanti/issues/16274 -- Add test benchmark for Map by lhofhansl
19:46 ShadowBot https://github.com/luanti-org/luanti/issues/15963 -- Formspec: Show a player inventory using core.show_formspec by SmallJoker
19:47 Krock     (or review and approve, if that's preferred)
20:06 Krock     done
20:15 [MatrxMT] <Zughy> Krock: you forgot 16253