Peter Eisentraut c0a9e988f1 Drop "pg" prefix from extension name		2015-03-13 00:12:15 -04:00
..
init.out	Drop "pg" prefix from extension name	2015-03-13 00:12:15 -04:00
test.out	uri_port returns integer	2015-02-18 22:10:05 -05:00