> On Aug 2, 2018, at 3:30 PM, Simon Muller <samullers@gmail.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
looksgood.
-Cynthia