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.
No comments:
Post a Comment