> On Jul 13, 2018, at 12:31 PM, Maxime Villard <[email protected]> wrote:
> 
> So why not remove the code?


No objection from me.

-- thorpej

Reply via email to