[01:54] *** pir^2 has joined #wikiteam [01:55] @Nemo_bis I know you're not here, but I think the new readTitles might have a Unicode bug [02:01] dumpgenerator.py:722: UnicodeWarning: Unicode unequal comparison failed to convert both arguments to Unicode - interpreting them as being unequal [02:01] elif seeking and line.strip() != start: [02:02] (Of course, I have a few uncommited patches that may be interfering here, so the bug may only be for me. But I think it's probably in readTitles) [02:04] yeah, looks like a local change broke it. never mind ... I think it was a Unicode bug which readTitles actually fixed [02:25] yeah, it's fine [02:44] *** pir^2 has quit IRC (Ping timeout: 370 seconds) [05:01] Nice. [17:01] *** svchfoo1 has quit IRC (Quit: Closing) [17:06] *** svchfoo1 has joined #wikiteam [17:43] Maybe some progress towards updated mirrors https://gerrit.wikimedia.org/r/#/c/188204/ [21:38] *** svchfoo2 has quit IRC (Ping timeout: 240 seconds) [21:38] *** NotGLaDOS has quit IRC (Ping timeout: 240 seconds) [21:38] *** twrist has joined #wikiteam [21:39] *** svchfoo2 has joined #wikiteam