projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8e43c2) | patch
doc: Clarify the errhint example
authorDaniel Gustafsson <dgustafsson@postgresql.org>
Wed, 12 Jul 2023 17:38:51 +0000 (19:38 +0200)
committerDaniel Gustafsson <dgustafsson@postgresql.org>
Wed, 12 Jul 2023 17:38:51 +0000 (19:38 +0200)
commite68dd9e9073521235bf71be3f9d7028492bd3bbc
tree32f4977742083714c138351df573ea50f1b6db0ftree
parentc8e43c22be271096809e561482084c6fb83e0708commit | diff
doc: Clarify the errhint example

The errhint example wasn't using the mandated style for errhint
which was needlessly confusing.  Fix by rewriting it using the
mandated style.

Reported-by: Andres Freund <andres@anarazel.de>
Reviewed-by: Gurjeet Singh <gurjeet@singh.im>
Reviewed-by: Jonathan S. Katz <jkatz@postgresql.org>
Discussion: https://postgr.es/m/F02F4B4F-7B7E-406A-B25A-FF2AA300AB9A@yesql.se
doc/src/sgml/sources.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.