Skip to content
Commit 4d74d80e authored by Ignacio's avatar Ignacio
Browse files

Merge branch 'dev' into 'master' 

Merge branch 'dev' of gitlab.com:redmic-project/postgres/postgresql into dev

See merge request redmic-project/postgres/postgresql!5
parents e3adff5f b59351c5
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment