> On Dec 19, 2018, at 5:06 PM, matthew green <m...@eterna.com.au> wrote:
> 
> i would argue that until we're willing to drop a.out exec
> entirely we should keep the above.  let's not chip and hack
> around it.

Fair point.  Insert "should we get rid of a.out exec, too?" here :-)

-- thorpej

Reply via email to