mirror of https://github.com/postgres/postgres
The changes in the CREATE POLICY man page from commit
87c2a17fee triggered a stylesheet bug that
created some warning messages and incorrect output. This installs a
workaround.
Also improve the whitespace a bit so it looks better.
pull/31/merge
parent
51057feaa6
commit
d21ddc220f
Loading…
Reference in new issue