[10:53:48] * Nemo_bis pats legoktm https://bugzilla.wikimedia.org/show_bug.cgi?id=61876
[10:54:46] <legoktm>	 :<
[10:54:48] <legoktm>	 that bug scares me
[10:55:49] <Nemo_bis>	 They were 15k in comment 0, ~20k would not be too bad. Hoo reduced its frequency a lot.
[10:57:37] <legoktm>	 my main concern is that we still don't know what's actually causing it
[10:58:36] <Nemo_bis>	 Yes, until the underlying cause is discovered we can never trust a final unification to actually be final...
[10:59:09] <Nemo_bis>	 But it can be reduced to a manageable size.
[11:06:15] <legoktm>	 mhm