Thanks! Pushed. There was a markup error in the documentation.
This should have been listed in the pg11 open items. Please list there
everything that should apply be applied branch 11 before release, so
that they get fixed (or at least considered) before we release.
https://wiki.postgresql.org/wiki/Open_Items
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services