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

chore(deps): update dependency element-theme-default to v1.4.13 #519

Closed
wants to merge 1 commit into from

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jan 22, 2018

This Pull Request updates dependency element-theme-default from v1.4.12 to v1.4.13

Commits

v1.4.13


This PR has been generated by Renovate Bot.

@renovate renovate bot force-pushed the renovate/element-theme-default-1.x branch 8 times, most recently from 233be6f to 2202582 Compare January 25, 2018 07:53
@renovate renovate bot force-pushed the renovate/element-theme-default-1.x branch from 2202582 to 493a3db Compare February 3, 2018 12:50
@renovate renovate bot force-pushed the renovate/element-theme-default-1.x branch from 493a3db to c619abb Compare February 11, 2018 08:57
@juanpicado juanpicado closed this Feb 11, 2018
@renovate
Copy link
Contributor Author

renovate bot commented Feb 11, 2018

Renovate Ignore Notification

As this PR has been closed unmerged, Renovate will now ignore this update (1.4.13). You will still receive a PR once a newer version is released, so if you wish to permanently ignore this dependency, please add it to the ignoreDeps array of your renovate config.

If this PR was closed by mistake or you changed your mind, you can simply rename this PR and you will soon get a fresh replacement PR opened.

@renovate renovate bot deleted the renovate/element-theme-default-1.x branch February 11, 2018 08:58
@lock
Copy link

lock bot commented Aug 10, 2018

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock bot locked as resolved and limited conversation to collaborators Aug 10, 2018
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.

None yet

2 participants