Skip to content

Merge pull request #107 from ls1intum/fix/nginx/default-server-undefined #801

Merge pull request #107 from ls1intum/fix/nginx/default-server-undefined

Merge pull request #107 from ls1intum/fix/nginx/default-server-undefined #801

Annotations

2 warnings

lint

succeeded Nov 5, 2024 in 50s