Skip to content

Draw locations slightly bigger#92

Merged
dmccoystephenson merged 2 commits into
developfrom
draw-locations-slightly-bigger
Dec 29, 2022
Merged

Draw locations slightly bigger#92
dmccoystephenson merged 2 commits into
developfrom
draw-locations-slightly-bigger

Conversation

@dmccoystephenson
Copy link
Copy Markdown
Member

This resolves a graphical glitch.

@dmccoystephenson dmccoystephenson merged commit e4a1d60 into develop Dec 29, 2022
@dmccoystephenson dmccoystephenson deleted the draw-locations-slightly-bigger branch December 29, 2022 00:39
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.

1 participant