session: fix incorrect OPS on unretryable session error (#14557)#16120

Merged

sre-bot merged 1 commit intopingcap:release-3.1from sre-bot:release-3.1-63b71a343380

Apr 8, 2020

+4-4

Commits on Apr 7, 2020

session: fix incorrect OPS on unretryable session error (pingcap#14557 )

jzdxeb
authored and
sre-bot
committed