> On Jul 5, 2018, at 5:36 PM, Jed Brown <jed at jedbrown.org> wrote: > > When can we delete the legacy test system? Are we currently using it > anywhere? Make test currently requires the test include file Barry