mirror of https://github.com/postgres/postgres
Presumably this variable used to actually be used as a static variable at some point in time but that is no longer the case.pull/220/head
parent
3251aef9e7
commit
f758cc70bb
Loading…
Reference in new issue