Jarek Radosz 70e50a2255 DEV: Use postgres 12 in GitHub Actions CI (#10043) ... 12 is now the recommended and widely deployed version.		2020-06-15 13:41:24 +02:00
..
workflows	DEV: Use postgres 12 in GitHub Actions CI (#10043)	2020-06-15 13:41:24 +02:00