projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ca40dc) | patch
Doc: Remove outdated note about run-time partition pruning
authorDavid Rowley <drowley@postgresql.org>
Tue, 11 May 2021 03:55:33 +0000 (15:55 +1200)
committerDavid Rowley <drowley@postgresql.org>
Tue, 11 May 2021 03:55:33 +0000 (15:55 +1200)
commit1692d0c3a3fc7716d7d00e0d657248cb98bf4df8
treed73e9d95171edc9d7cadcfc3ff38e963a5461093tree
parent9ca40dcd4d0cad43d95a9a253fafaa9a9ba7de24commit | diff
Doc: Remove outdated note about run-time partition pruning

The note is no longer true as of 86dc90056, so remove it.

Author: Amit Langote
Discussion: https://postgr.es/m/CA+HiwqFxQn7Hz1wT+wYgnf_9SK0c4BwOOwFFT8jcSZwJrd8HEA@mail.gmail.com
doc/src/sgml/ddl.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.