> On Aug 2, 2018, at 3:30 PM, Simon Muller <samull...@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 looks good. -Cynthia
