mirror of https://github.com/postgres/postgres
As the OS version is likely going to be more optimized, fall back to it if available, as detected by configure.pull/31/head^2
parent
71c75ddfbb
commit
8a241792f9
Loading…
Reference in new issue