Skip to content

Conversation

@gentlegiantJGC
Copy link
Member

Fixes #1156

@gentlegiantJGC gentlegiantJGC merged commit 0b73bbb into 0.10 Apr 28, 2025
1 check passed
@gentlegiantJGC gentlegiantJGC deleted the bug-1156 branch April 28, 2025 09:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Bug Report] Could not launch editor if access to raw.githubusercontent.com was blocked

2 participants