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)
commita80decb940f0ee407e7cc6846eb8a3c0bb369685
tree567a139cb57ffcd20497b67ef16262e97d1d1d3a
parent24ff9f129d408578223e896519d7131317a777c4
parent4cd50265b9564472e7ffd9cc862f164608a1c8ed
Merge pull request #30 from mhagander/fix_pg_submodule

Fix postgresql head commit