Re: Add header support to text format and matching feature

[David Steele]

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
da...@pgmasters.net