mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-09-27 23:21:50 +02:00
e343dfa42b
A new thing also called a "barrier" is proposed, but whether we decide to take that patch or not, this file seems to have outlived its usefulness. Thomas Munro |
||
---|---|---|
.. | ||
main.c | ||
Makefile |