On Sun, 31 May 2020, at 21:43, 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 preference is for a maintained port and a happy maintainer over what
style choices are ultimately chosen. I am happy to let things be.

Reply via email to