2018-11-14 20:59 GMT+01:00, Jan Ekström <jeebjp at gmail.com>: > So what if I just make a patch without dvh1 that you have > already implemented, and then we call that a day? I thought I suggested that but I may misremember. Sorry, Carl Eugen