Andreas Enge Tue, 18 Jun 2019 07:55:43 -0700
Sorry, I did not look at the error message well enough, the bug is indeed still the same as reported.
Andreas