Skip to content

Conversation

jh0ker
Copy link
Member

@jh0ker jh0ker commented May 7, 2016

This PR fixes the bug described in #275

@jh0ker jh0ker added the bug label May 7, 2016
@tsnoam tsnoam merged commit 6ec81dd into master May 10, 2016
@tsnoam tsnoam deleted the bootstrapping branch May 11, 2016 07:00
@github-actions github-actions bot locked and limited conversation to collaborators Aug 25, 2020
@Bibo-Joshi Bibo-Joshi added 🔌 bug pr description: bug and removed bug 🐛 labels Nov 3, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
🔌 bug pr description: bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants