> 24 янв. 2021 г., в 07:27, Noah Misch <noah(at)leadboat(dot)com> написал(а):
> I changed that, updated comments, and fixed pgindent damage. I plan to push
> the attached version.
I see that patch was pushed. I'll flip status of CF entry. Many thanks!
Best regards, Andrey Borodin.