> On Jul 13, 2018, at 12:31 PM, Maxime Villard <[email protected]> wrote: > > So why not remove the code?
No objection from me. -- thorpej
> On Jul 13, 2018, at 12:31 PM, Maxime Villard <[email protected]> wrote: > > So why not remove the code?
No objection from me. -- thorpej