On Fri, Oct 10, 2025 at 02:39:58PM +0800, Chao Li wrote:> Yeah, looks like a stupid bug. read_pg_version_file() has multiplied> 10000 to version number.
Thanks for the review. Applied this one down to v17.--Michael