On Fri, Aug 20, 2021 at 12:41 PM Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com> wrote:> It can be fixed in 14. This is a low risk patch.
+1.
-- Robert HaasEDB: http://www.enterprisedb.com