On Fri, Jun 7, 2019 at 4:13 PM reedy <reedy(a)wikimedia.org> wrote:
Are you still having problems?
No.
As above, you're not running 1.31.1, you're
running 1.32.1...
We tried 1.31.2, and then 1.32.2 hoping it would fix it. We stayed at 1.32.2.
There was one more error after that, but I don't recall the message.
Jeff