On Mon, Aug 20, 2018 at 10:39:21AM +0200, J. Hannken-Illjes wrote: > This patch will change nothing mentioned there. As I already asked: (...) I was away from this machine, I wil post the answer on the relevant thread. -- Emmanuel Dreyfus manu%netbsd.org@localhost