Merge branch '18635-remove-unnecesary-.psql-management'
authorJavier Bértoli <jbertoli@curii.com>
Tue, 15 Mar 2022 14:34:14 +0000 (11:34 -0300)
committerJavier Bértoli <jbertoli@curii.com>
Tue, 15 Mar 2022 14:34:14 +0000 (11:34 -0300)
commitca6e3f04150dae9af6b86828a5af2a4400892487
tree3be835d322f04abe377acfa65891c872f4d4c363
parentdc2b31ec8275995bde3ea855e66bb0137d8a4b62
parent8e82a73bb7ff5e1cb1203f5121e0bf4b4e831253
Merge branch '18635-remove-unnecesary-.psql-management'

closes #18635
Arvados-DCO-1.1-Signed-off-by: Javier Bértoli <jbertoli@curii.com>