I have installed Herd 4 and the problem is solved. Probably, it is not a bug. I think this bug report could be closed. Sorry, if you have spent time on this 'false' problem.
I have installed Herd 4 and the problem is solved. Probably, it is not a bug. I think this bug report could be closed. Sorry, if you have spent time on this 'false' problem.