v-2020-05-18-postgres12

yvanzo@metabrainz.org

da0248af · Merge pull request #146 from mwiencek/pg12 · May 18, 2020

Upgrade to Postgres 12 with one-off script.