On 11/06/2019 13:34, Helmut Jarausch wrote:
I had some trouble switching to the new profile 17.1. Following the advice in the news item didn't suffice.
I'm not sure if switching to 17.1 would get me anything. I assume 17.0 will still be there for a long time to come?
