Skip to content

🐛 add map channels#32

Merged
mbuttner merged 2 commits into
mainfrom
io_issue
Oct 14, 2022
Merged

🐛 add map channels#32
mbuttner merged 2 commits into
mainfrom
io_issue

Conversation

@mbuttner
Copy link
Copy Markdown
Collaborator

Fix to 28

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Oct 13, 2022

@github-actions github-actions Bot temporarily deployed to pull request October 13, 2022 10:09 Inactive
@github-actions github-actions Bot temporarily deployed to pull request October 13, 2022 10:50 Inactive
@mbuttner mbuttner changed the title 🐛 fail to map channels 🐛 add map channels Oct 14, 2022
@mbuttner mbuttner merged commit ce3a50f into main Oct 14, 2022
@mbuttner mbuttner deleted the io_issue branch October 14, 2022 06:06
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.

1 participant