On Sat, Aug 13, 2016 at 1:44 PM, Christian Grothoff <[email protected]> wrote:
> You should not enable it, as it has not yet been implemented and is > likely to change before it is stable. -Christian Awesome, removed from my header! :-) Thank you! -- Silvio Clécio
