31 Jul
2018
31 Jul
'18
8:25 a.m.
On 30. Jul 2018, at 17:19, Robert Ramey via Boost
wrote: 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
+2 also from me. Supporting two systems is a maintenance burden and confusing for people who want to contribute.