On Thu, Oct 31, 2024 at 11:10:09AM +0900, Michael Paquier wrote:> So it looks rather OK seen from here, as you are proposing.
After a second lookup, bumped CATALOG_VERSION_NO, then applied.--Michael