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.

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

Remove duplicate intro #92

Closed
wants to merge 1 commit into from

Conversation

sh-csg
Copy link
Contributor

@sh-csg sh-csg commented Sep 16, 2023

This resolves #87

@tholudwig
Copy link

It would be great if the simple fix could be integrated. It fixes a fairly minor, but annoying bug for users.

@toniginard toniginard self-assigned this Jan 22, 2024
@toniginard
Copy link
Member

Integrated to master. Thanks @sh-csg

@toniginard toniginard closed this Jan 22, 2024
@tholudwig
Copy link

@toniginard Thanks for the integration. User will really appreciate it.

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.

Description appears twice
3 participants