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
OpenPGP_signature
Description: OpenPGP digital signature
