Skip to content

[pull] master from postgres:master#116

Merged
pull[bot] merged 2 commits intoMu-L:masterfrom
postgres:master
Jul 29, 2020
Merged

[pull] master from postgres:master#116
pull[bot] merged 2 commits intoMu-L:masterfrom
postgres:master

Commits

Commits on Jul 29, 2020