16 Mar
2017
16 Mar
'17
5:43 p.m.
Andrey Semashev wrote:
If we move to GitHub issues, I would rather have all open tickets moved from Trac there.
That's again a difference in philosophy; I'd rather not because if a ticket has remained open in Trac for, say, seven years, porting it is of no use; and if it's a fresh ticket, the proper way to deal with it is to fix and close it, not port it.