Skip to content

Conversation

tsvietOK
Copy link
Contributor

@tsvietOK tsvietOK commented Jun 21, 2020

As part of #281

@ghost ghost added the needs - code review label Jun 21, 2020
@yaira2 yaira2 added ready to merge Pull requests that are approved and ready to merge and removed needs - code review labels Jun 22, 2020
@yaira2 yaira2 merged commit 8233c7e into files-community:master Jun 22, 2020
@tsvietOK tsvietOK deleted the status-bar-size branch June 22, 2020 01:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready to merge Pull requests that are approved and ready to merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants