Andreas Enge Fri, 14 Jun 2019 10:38:27 -0700
Closing the bug, since the problem seems to be solved; for the follow-up, see bug#36180.
Andreas