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

fix: to avoid confusion like in #1528, always report used extension #1537

Merged
merged 1 commit into from
Sep 29, 2019

Conversation

bleadof
Copy link
Contributor

@bleadof bleadof commented Mar 6, 2019

PR based on #1528 (comment)

@stale
Copy link

stale bot commented Mar 20, 2019

This issue has been automatically marked as idle and stale because it hasn't had any recent activity. It will be automtically closed if no further activity occurs. If you think this is wrong, or the problem still persists, just pop a reply in the comments and @remy will (try!) to follow up.
Thank you for contributing <3

@stale stale bot added the stale no activity for 2 weeks label Mar 20, 2019
@stale stale bot closed this Mar 27, 2019
@remy remy reopened this Sep 29, 2019
@stale stale bot removed the stale no activity for 2 weeks label Sep 29, 2019
@remy
Copy link
Owner

remy commented Sep 29, 2019

Took me a while to realise this was causing so many people some brain ache. Thanks for the PR, nice and simple. Merging and releasing now.

@remy remy merged commit eead311 into remy:master Sep 29, 2019
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.

2 participants