Merge pull request #30 from mhagander/fix_pg_submodule
authorPieter De Praetere <pieter.de.praetere@helptux.be>
Sun, 31 Jan 2021 15:32:50 +0000 (16:32 +0100)
committerGitHub <noreply@github.com>
Sun, 31 Jan 2021 15:32:50 +0000 (16:32 +0100)
Fix postgresql head commit


Trivial merge