I patched version 1.13.0 with that commit and installed the patched version on Monday. It appears to have fixed the problem.

Can you see the problem and fix it with the given information?

I did that. It felt like it took longer for the error to appear with debug output enabled, but that is probably subjective/random noise.