Issue #12213: Fix a buffering bug with interleaved reads and writes that
could appear on BufferedRandom streams.
A
Antoine Pitrou committed
e05565ec5af6b326e9d1f17c3f79bc24bf1ee157
Parent: a370fcf
could appear on BufferedRandom streams.