jenkins-bot has submitted this change and it was merged.
Change subject: Really recover from 'badtoken' error when uploading
..
Really recover from 'badtoken' error when uploading
Follow-up to 5df9b2d20beb2250f76bb6806f22118de7
jenkins-bot has submitted this change and it was merged.
Change subject: Really recover from 'badtoken' error when uploading
..
Really recover from 'badtoken' error when uploading
Follow-up to 5df9b2d20beb2250f76bb6806f22118de7
MarkTraceur has uploaded a new change for review.
https://gerrit.wikimedia.org/r/238334
Change subject: Really recover from 'badtoken' error when uploading
..
Really recover from 'badtoken' error when uploading
Follow-up to 5
Bartosz DziewoĆski has uploaded a new change for review.
https://gerrit.wikimedia.org/r/238325
Change subject: Really recover from 'badtoken' error when uploading
..
Really recover from 'badtoken' error when uploading
Follow-