Re: git.postgresql.org ok?

[Erik Rijkers]

On 2020-06-20 17:08, Stefan Kaltenbrunner wrote:

the root issue should be fixed as of a few minutes ago but it might take

a bit until everything is synced up again.

Thanks!