31 Jul
2018
31 Jul
'18
7:08 p.m.
On Mon, 30 Jul 2018, 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.
If you do that, please don't forget to enable issues on *all* github projects, including algorithm, graph, etc. -- Marc Glisse