diff options
| author | Andres Freund | 2018-11-05 20:02:25 +0000 |
|---|---|---|
| committer | Andres Freund | 2018-11-05 20:05:39 +0000 |
| commit | a16e8b440132d0418d7d0c8986ac944b2370a1d4 (patch) | |
| tree | acbfaec5bd5c850b56d9aae3aefe6cde19cafc10 /configure.in | |
| parent | 1dc05482fee545279951af06c3f0a17500b1b41f (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.in')
0 files changed, 0 insertions, 0 deletions