Thanks Michael for taking care of that!
Here’s the rebased patches with the last one dropped.
Regards,
Rémi
> Le 5 oct. 2020 à 03:05, Michael Paquier <michael@paquier.xyz> a écrit :
>
> On Sat, Oct 03, 2020 at 11:42:52PM +0200, Rémi Lapeyre wrote:
>> Here’s a new version of the patches that report an error when the options are set multiple time.
>
> Please note that I have applied a fix for the redundant option
> handling as of 10c5291, though I have missed that you sent a patch.
> Sorry about that. Looking at it, we have done the same thing
> byte-by-byte except that I have added tests for all option
> combinations.
> --
> Michael