Skip to content

chore(dev): fix internal static proxy + add /pgadmin to reverse-proxy#5809

Merged
rjsparks merged 1 commit intoietf-tools:mainfrom
NGPixel:devcontainer_start
Jun 13, 2023
Merged

chore(dev): fix internal static proxy + add /pgadmin to reverse-proxy#5809
rjsparks merged 1 commit intoietf-tools:mainfrom
NGPixel:devcontainer_start

Commits

Commits on Jun 12, 2023