Peter Eisentraut bcbd940806 Remove dynamic_shared_memory_type=none ...

PostgreSQL nowadays offers some kind of dynamic shared memory feature on
all supported platforms.  Having the choice of "none" prevents us from
relying on DSM in core features.  So this patch removes the choice of
"none".

Author: Kyotaro Horiguchi <horiguchi.kyotaro@lab.ntt.co.jp>

2018-07-10 18:35:24 +02:00

..

src

Remove dynamic_shared_memory_type=none

2018-07-10 18:35:24 +02:00

bug.template

Stamp HEAD as 12devel

2018-06-30 12:47:59 -04:00

KNOWN_BUGS

…

Makefile

Remove maintainer-check target, fold into normal build

2013-10-10 20:11:56 -04:00

MISSING_FEATURES

…

TODO

Change documentation references to PG website to use https: not http:

2017-05-20 21:50:47 -04:00