On Fri, 12 Jun 2020 10:05:49 -0700 Dinesh G Dutt <did...@gmail.com> wrote:
> Thanks for doing this Andrea. This is a very important patch. I'll let > the others comment on the specificity of the patch, but strict mode=1 > should be the default . > > Dinesh Hi Dinesh, thanks for your comments! I chose to disable the strict mode(=0) by default to be conservative. Andrea
