Merge branch 'update-ci' into 'develop'
authorlain <lain@soykaf.club>
Mon, 11 Nov 2019 13:13:20 +0000 (13:13 +0000)
committerlain <lain@soykaf.club>
Mon, 11 Nov 2019 13:13:20 +0000 (13:13 +0000)
Use PG12 in CI for the RUM pipeline

Closes #1377

See merge request pleroma/pleroma!1969


Trivial merge