Makefile: cat_tools install override (CAT_TOOLS_GIT_REF/CAT_TOOLS_SKIP_INSTALL), default unchanged - #10

Makefile: cat_tools install override (CAT_TOOLS_GIT_REF/CAT_TOOLS_SKIP_INSTALL), default unchanged#10

jnasbyupgrade wants to merge 1 commit into

Postgres-Extensions:masterPostgres-Extensions/extension_tools:masterfrom

jnasbyupgrade:fix-cat-tools-installjnasbyupgrade/extension_tools:fix-cat-tools-installCopy head branch name to clipboard