diff options
author | Andres Freund | 2018-11-05 20:02:25 +0000 |
---|---|---|
committer | Andres Freund | 2018-11-05 20:05:40 +0000 |
commit | b7301e3a7b6362d550727deffb0ebd06363efdba (patch) | |
tree | b1ea44ebaec0a0f267625d669cc6a657d0e67320 /doc/bug.template | |
parent | 92154ef47730fad0528c48305df8726db1653059 (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/bug.template')
0 files changed, 0 insertions, 0 deletions