30 Jul
2018
30 Jul
'18
3:19 p.m.
Could we agree to stop using the Trac system? The github issues/pr system is much more functional. I propose we close the trac system to new issues - be of course leave it available for reference. Robert Ramey