On 03.12.24 20:19, Jeff Davis wrote:
> On Tue, 2024-12-03 at 17:06 +0100, Peter Eisentraut wrote:
>> But it doesn't remove pg_regex_collation, only pg_regex_strategy. So
>> I
>> have split my v2 into two patches, the first removes
>> pg_regex_collation
>> and the second removes pg_regex_strategy. The first patch is useful
>> on
>> its own, I think;
>
> +1, looks committable now.
done