diff options
author | Andres Freund <andres@anarazel.de> | 2018-11-05 12:02:25 -0800 |
---|---|---|
committer | Andres Freund <andres@anarazel.de> | 2018-11-05 12:05:39 -0800 |
commit | ac36e6aee8086847a4c21ba202f91ba0171da205 (patch) | |
tree | df416f83a8800734de5cbd8c34665a7770887e5f /doc/src | |
parent | 613373b52b08dee01fad2f25162dd92486740c76 (diff) |
Fix copy-paste error in errhint() introduced in 691d79a07933.
Reported-By: Petr Jelinek
Discussion: https://postgr.es/m/c95a620b-34f0-7930-aeb5-f7ab804f26cb@2ndquadrant.com
Backpatch: 9.4-, like the previous commit
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions