Skip to content

Conversation

trevorblades
Copy link
Contributor

Checklist:

  • If this PR is a new feature, please reference an issue where a consensus about the design was reached (not necessary for small changes)
  • Make sure all of the significant new logic is covered by tests

@trevorblades trevorblades merged commit 06b0b65 into master Oct 28, 2019
@trevorblades trevorblades deleted the renovate/documentation-theme branch October 28, 2019 18:39
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 16, 2023
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