[01:03:13] <Krinkle>	 Amir1: xhgui 0.21.3 is live now (up from 0.14.0). changes are mostly invisible (php 8 compat, improved mariadb compat) One thing you might appreciate is that now the search filters no longer result in errors, i.e. when you click on something other than the timestamp.
[01:03:27] <Krinkle>	 and there's a new "server name" column for easier visual scanning
[07:25:31] <duesen>	 Krinkle: I replied on gerrit, for later reference: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/935716/3#message-137144a002f327ec3a4b9980fb906417787eca3e
[09:38:19] <Amir1>	 aah
[09:38:20] <Amir1>	 nice
[22:34:32] <bd808>	 Krinkle: I just saw the → links you added to all the mw-core team (re)incarnations. nice. :)