Please merge revision #4b03a59f0109de03cd99425f01669ceaccb91b35 into dev channel

[pq]

@whesse @mit-mit @kasperl @dgrove @bwilkerson

Assuming we do a new build, it would be great to pull in this fix which updates DEPS to pulls in a linter package fixed to address a few issues exposed in jetbrains logs (#24947, #24949).

Please merge:

4b03a59

_Note:_ these fixes are NOT enough to justify a new build, but if one is being rolled anyway, it'd be nice to get them in...

Thanks!

[pq]

Closing out in favor of playing it safe.

[whesse]

But will we want this to be a mergeToStable request, in the first patch release of 1.13 stable?
I'm not convinced it is not worth doing, if we have to do another RC.

[pq]

Not necessary. Thanks @whesse !