[17:04:03] (03PS1) 10Urbanecm: commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 [17:05:37] (03CR) 10jerkins-bot: [V: 04-1] commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 (owner: 10Urbanecm) [17:17:29] (03PS2) 10Urbanecm: commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 [17:19:03] (03CR) 10jerkins-bot: [V: 04-1] commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 (owner: 10Urbanecm) [17:20:33] (03PS3) 10Urbanecm: commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 [17:22:26] (03CR) 10Urbanecm: [C: 03+2] commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 (owner: 10Urbanecm) [17:23:55] (03Merged) 10jenkins-bot: commons-selection: Make it possible to filter either by username or filename [wikimedia-cz/tracker] - 10https://gerrit.wikimedia.org/r/630643 (owner: 10Urbanecm)