On Sun, May 31, 2020 at 10:43:20PM +0200, Joerg Jung wrote: > > IMHO this includes keeping Terminus, despite upstream dropped it long > time ago already. So, I’m not in favor of the proposed patch, but would > not object, if you insist on moving on this way. >
My only problem is that I like Terminus, but not the particular version automatically used. So I add that my one beforehand. But this issue comes up in many other ports, so I am fine with any decision. I already have to manually step in anyways. -- Chris Bennett