mirror of https://github.com/postgres/postgres
The option was removed in 3ce7f72529
but the letter was left in the
getopt_long() call.
pull/102/head
parent
b6ef167564
commit
fa351b1b13
Loading…
Reference in new issue