Skip to content

Conversation

@jkempff
Copy link
Contributor

@jkempff jkempff commented Sep 17, 2019

…scrollbar, mini improvements

@ruettenm ruettenm merged commit 0983427 into master Sep 17, 2019
@ruettenm ruettenm deleted the minimal-ui-improvements branch September 17, 2019 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants