Skip to content

Conversation

benhalpern
Copy link
Contributor

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

  • Refactor
  • Feature
  • Bug Fix
  • Documentation Update

Description

Small UI fix

@pr-triage pr-triage bot added the PR: unreviewed bot applied label for PR's with no review label Apr 24, 2019
@benhalpern benhalpern merged commit 012b2a4 into master Apr 25, 2019
@pr-triage pr-triage bot added PR: merged bot applied label for PR's that are merged and removed PR: unreviewed bot applied label for PR's with no review labels Apr 25, 2019
@maestromac maestromac deleted the ben/video-fix branch April 25, 2019 17:45
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