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