mirror of https://github.com/postgres/postgres
This is entirely harmless, but still wrong. Noticed by coverity. Andres Freundpull/6/head
parent
329de9fa98
commit
377790fbd7
Loading…
Reference in new issue