On 3/9/21 10:08 AM, David G. Johnston wrote: > > On Tuesday, March 9, 2021, David Steele <david@pgmasters.net > <mailto:david@pgmasters.net>> wrote: > > Further, I think we should close this entry at the end of the CF if > it does not attract committer interest. Tom is not in favor of the > patch and it appears Alexander decided not to commit it. > > Pavel re-reviewed it and was fine with ready-to-commit so that status > seems fine.