Skip to content

Merge pull request #18057 from grokability/user-selector-fix #2491

Merge pull request #18057 from grokability/user-selector-fix

Merge pull request #18057 from grokability/user-selector-fix #2491

Triggered via push October 16, 2025 14:49
Status Success
Total duration 49s
Artifacts
upload-sources-to-crowdin
45s
upload-sources-to-crowdin
Fit to window
Zoom out
Zoom in