On Tue, Dec 16, 2025 at 3:06 AM Chao Li <li(dot)evan(dot)chao(at)gmail(dot)com> wrote:> I guess you meant to say “larger (or greater) than” instead of “rather than”.
Yes, thanks.
-- Robert HaasEDB: http://www.enterprisedb.com