mirror of https://github.com/postgres/postgres
This was accidentally included in e09155bd62
and is redundant with the
lines right above it.
Reported-By: Peter Eisentraut
Discussion: https://postgr.es/m/455845d1-441d-cc40-d2a7-b47f4e422489@2ndquadrant.com
pull/61/head
parent
6499008150
commit
e7f4291485
Loading…
Reference in new issue