On Tue, Apr 14, 2026 at 09:10:42AM +0800, Chao Li wrote: > I don’t see a branch for 19 is cut out, so is HEAD still 19 today?
Yes. -- Bruce Momjian <[email protected]> https://momjian.us EDB https://enterprisedb.com Do not let urgent matters crowd out time for investment in the future.
