[COMMITTERS] pgsql: doc: Avoid sidebar element

2017-08-29 Thread Peter Eisentraut
doc: Avoid sidebar element The formatting of the sidebar element didn't carry over to the new tool chain. Instead of inventing a whole new way of dealing with it, just convert the one use to a "note". Branch -- REL_10_STABLE Details --- https://git.postgresql.org/pg/commitdiff/2fa44f666

[COMMITTERS] pgsql: doc: Avoid sidebar element

2017-08-29 Thread Peter Eisentraut
doc: Avoid sidebar element The formatting of the sidebar element didn't carry over to the new tool chain. Instead of inventing a whole new way of dealing with it, just convert the one use to a "note". Branch -- master Details --- https://git.postgresql.org/pg/commitdiff/00f6d5c2c3ae2f6d