Skip to content
This repository has been archived by the owner on Feb 24, 2023. It is now read-only.

UI fixes #105

Merged
merged 8 commits into from
Jun 10, 2022
Merged

UI fixes #105

merged 8 commits into from
Jun 10, 2022

Conversation

a-barzanti
Copy link
Contributor

@a-barzanti a-barzanti commented Jun 10, 2022 •
edited
Loading

Changes

Fix various issues in the graph, and for safari.

Checklist

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings

Tests

  • Automated tests have been added
  • This PR does not require tests

@a-barzanti a-barzanti marked this pull request as ready for review June 10, 2022 17:38
@cwbeck cwbeck merged commit 549f9e3 into master Jun 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@a-barzanti @cwbeck