> On Aug 2, 2018, at 3:30 PM, Simon Muller <samullers(at)gmail(dot)com> 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