Skip to content

WIP: fix subscriptions #32

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
wants to merge 1 commit into from
Closed

Conversation

thg2k
Copy link
Contributor

@thg2k thg2k commented Aug 12, 2020

TO BE FINISHED

@thg2k
Copy link
Contributor Author

thg2k commented Aug 23, 2020

Superseded by PR #33 (for the refactoring branch).

I abandon this change for the stable series.

@thg2k thg2k closed this Aug 23, 2020
@thg2k thg2k deleted the fix_subscriptions_1 branch August 23, 2020 11:02
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant