Jens Radloff Thu, 26 Jul 2018 04:58:13 -0700
Hi, The behavior which I described here (Bug#900895) has not appeared again since several weeks.
Regards, Jens