jenkins: deal with random Windows lint issue (#12505)
jenkins: deal with random Windows lint issue (#12505)


keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client,keybase/client