diff options
author | ThibG <thib@sitedethib.com> | 2020-02-22 01:27:34 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-22 01:27:34 +0100 |
commit | 0f07218e53bf581127cdcf5fbf12d9c207ace8d7 (patch) | |
tree | 466387c06612d797aefd970c4ccbac9d21c9d34c /public/headers/original | |
parent | 983ab40086da909f2c693b74ed36735aab40dbcb (diff) |
Fix `/web` redirecting to `/web/web` in web UI (#13128)
Fixes #13127
Diffstat (limited to 'public/headers/original')
0 files changed, 0 insertions, 0 deletions