Skip to content

Configurable I/O handles#1617

Merged
berberman merged 3 commits into
masterfrom
custom-handles
Mar 26, 2021
Merged

Configurable I/O handles#1617
berberman merged 3 commits into
masterfrom
custom-handles

Conversation

@pepeiborra

Copy link
Copy Markdown
Collaborator

@pepeiborra
pepeiborra marked this pull request as ready for review March 26, 2021 01:29

@berberman berberman left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@berberman
berberman merged commit ebb5690 into master Mar 26, 2021
pepeiborra added a commit to pepeiborra/ide that referenced this pull request Mar 27, 2021
pepeiborra added a commit to pepeiborra/ide that referenced this pull request Mar 28, 2021
@Ailrun
Ailrun deleted the custom-handles branch April 3, 2021 15:42
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.

2 participants