Skip to content

Conversation

benhalpern
Copy link
Contributor

What type of PR is this? (check all applicable)

  • Refactor
  • Feature
  • Bug Fix
  • Documentation Update

Description

More theme goodness!

@benhalpern benhalpern merged commit 1a06096 into master Mar 20, 2019
@pr-triage pr-triage bot added the PR: merged bot applied label for PR's that are merged label Mar 20, 2019
@maestromac maestromac deleted the ben/more-theme-work branch March 20, 2019 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: merged bot applied label for PR's that are merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant