diff options
| author | Andres Freund | 2018-11-05 20:02:25 +0000 |
|---|---|---|
| committer | Andres Freund | 2018-11-05 20:05:40 +0000 |
| commit | a0e450e91ee9b6a79c55b5a5265147e789996549 (patch) | |
| tree | 0263cee0f853c604d522d3fcc25e10981a59cfa3 /configure | |
| parent | 9096bf3e7ec7355f26ccd6c579406c7fd68a0ca2 (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 'configure')
0 files changed, 0 insertions, 0 deletions