Jan. 10, 2020
2:55 p.m.
On Fri, Jan 10, 2020 at 10:52:51AM +0100, jtuchel@objektfabrik.de wrote:
I wanted to stay out of this thread, because it leads nowhere. But now that I've typed all this, I will push the send button and regret it in a few minutes...
Joachim, Thanks for pushing the send button. Dave