mirror of https://github.com/postgres/postgres
This was done for all scanners in
4211673622 but not added to the new one.
pull/55/head
parent
d9101e9806
commit
add4211600
Loading…
Reference in new issue