On 12/7/20 6:40 PM, Rémi Lapeyre wrote:
> Hi, here’s a rebased version of the patch.
Michael, since the issue of duplicated options has been fixed do either
of these patches look like they are ready for commit?
Regards,
--
-David
david(at)pgmasters(dot)net