Skip to content

Conversation

@ioedeveloper
Copy link
Collaborator

Fixes #1923

@ioedeveloper ioedeveloper merged commit 830bc8b into master Jan 26, 2022
@ioedeveloper ioedeveloper deleted the current-file branch January 26, 2022 09:43
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.

Reloading Remix closes all opened files

3 participants