On Thu, Mar 17, 2022 at 9:21 PM Kyotaro Horiguchi <[email protected]> wrote: > Finally, no two of from 10 to 14 doesn't accept the same patch. > > As a cross-version check, I compared all combinations of the patches > for two adjacent versions and confirmed that no hunks are lost. > > All versions pass check world.
Thanks, committed. -- Robert Haas EDB: http://www.enterprisedb.com
