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