Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Display the device name #87

Merged
merged 1 commit into from
Jun 10, 2018
Merged

Display the device name #87

merged 1 commit into from
Jun 10, 2018

Conversation

EarlOfEgo
Copy link
Contributor

Basically the changes needed for #83. Which also annoyed me, so I had to fix it.
Looks now like this:
screenshot 2018-03-27 09 21 26

@ryan1st
Copy link

ryan1st commented Jun 7, 2018

Please merge this into master branch~~
Though I had to adopt this change into my own repo and install this plugin manually, I'd like this to be available via official channel ASAP!

@EarlOfEgo
Copy link
Contributor Author

Only @pbreault can merge and release it via the official channel as far as I know.

@ryan1st
Copy link

ryan1st commented Jun 7, 2018

Of course, my comment was meant for the owner of this repo :)

@pbreault
Copy link
Owner

pbreault commented Jun 7, 2018 via email

@pbreault pbreault merged commit d59d0b4 into pbreault:master Jun 10, 2018
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.

None yet

3 participants