Skip to content

Conversation

afonsojramos
Copy link
Member

@afonsojramos afonsojramos commented Jun 5, 2023

Fixes what was discussed in #551 and closes #543.

@afonsojramos afonsojramos added the enhancement New feature or enhancement to existing functionality label Jun 5, 2023
@afonsojramos afonsojramos merged commit 710d9ac into main Jun 5, 2023
@afonsojramos afonsojramos deleted the chore/remove-github-icon branch June 5, 2023 19:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or enhancement to existing functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The G logo should go to the configured git host home page
1 participant