Skip to content
This repository has been archived by the owner on Mar 5, 2020. It is now read-only.

Fix ota topics #70

Merged
merged 1 commit into from
Feb 25, 2018
Merged

Fix ota topics #70

merged 1 commit into from
Feb 25, 2018

Conversation

einstweilenhier
Copy link
Contributor

Fixes #69

@jpmens
Copy link
Owner

jpmens commented Feb 25, 2018

Merged, thank you.

@jpmens jpmens merged commit 6c7f1b0 into jpmens:master Feb 25, 2018
@Gulaschcowboy Gulaschcowboy mentioned this pull request Feb 25, 2018
@einstweilenhier einstweilenhier deleted the fix-topic branch February 26, 2018 23:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants