Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

misc. fixes #248

Merged
merged 3 commits into from
May 31, 2023
Merged

misc. fixes #248

merged 3 commits into from
May 31, 2023

Conversation

pdrbrnd
Copy link
Member

@pdrbrnd pdrbrnd commented May 24, 2023

  • update minimap style
  • topbar bottom border
  • hoverable contact cards

@pdrbrnd pdrbrnd requested a review from filipeff95 May 24, 2023 14:12
@github-actions github-actions bot temporarily deployed to preview May 24, 2023 14:16 Inactive
@pdrbrnd pdrbrnd merged commit 9161ce9 into main May 31, 2023
@pdrbrnd pdrbrnd deleted the feat/misc-fixes branch May 31, 2023 08:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tofran tofran tofran approved these changes

@filipeff95 filipeff95 Awaiting requested review from filipeff95

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pdrbrnd @tofran