Merge branch 'master' into intvec

2026-07-06 20:50:57 +08:00 · 2024-10-13 19:21:59 -07:00
parent 67de46487e 049972a4a3
commit a344ecb60d
33 changed files with 1609 additions and 572 deletions
--- a/2
+++ b/2
@@ -66,7 +66,7 @@ dist:
 	git archive --format zip --prefix=$(EXTENSION)-$(EXTVERSION)/ --output dist/$(EXTENSION)-$(EXTVERSION).zip master

 # for Docker
-PG_MAJOR ?= 16
+PG_MAJOR ?= 17

 .PHONY: docker