On 7/19/23 1:44 PM, Pavel Luzanov wrote:
> On 19.07.2023 19:47, Tom Lane wrote:
>> And done, with some minor editorialization.
>
> Thanks to everyone who participated in the work.
> Special thanks to David for moving forward this patch for a long time,
> and to Tom for taking commit responsibilities.
[RMT]
+1; thanks to everyone for seeing this through!
Jonathan