> On Aug 2, 2018, at 3:30 PM, Simon Muller <[email protected]> wrote: > > Sure, thanks both for the feedback. Attached is a patch with the error kept > as ERRCODE_FEATURE_NOT_SUPPORTED. >
I was able to apply the patch (after resolving a merge conflict which was expected given an update in master). All looks good. -Cynthia
