mirror of https://github.com/postgres/postgres
to avoid useless multiple executions of pg_config.REL8_1_STABLE
parent
8ddd22f245
commit
0b36cb83dc
Loading…
Reference in new issue