mirror of https://github.com/postgres/postgres
Without this, statistics changes accumulated by the worker never get reported to the stats collector, which is bad. Julien Rouhaudpull/17/head
parent
e79e6c4da1
commit
4929704acb
Loading…
Reference in new issue