Skip to content
GitLab
Erkunden
Anmelden
Registrieren
fix: workaround because of HTML5 Mastermind Bug - href attributes becomes encoded
Code
Review changes
Check out branch
Download
Patches
Plain diff
Henning Leutz
schlägt
Mai 10, 2023
vor,
cherry-pick-01ea1b51
in
master
zu mergen.
Übersicht
0
Commits
1
Pipelines
0
Änderungen
1
Aufklappen
(cherry picked from commit
01ea1b51
)
Merge Request-Berichte