You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We just fixed incorrect Javascript code that would replace the URL in
the browser window by an incorrect URL when filtering the GUIs by
operating system.
With this here commit, we retroactively handle those incorrect URLs by
redirecting to the correct URLs instead of 404ing.
Signed-off-by: Johannes Schindelin <[email protected]>
0 commit comments