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

removed the unnecessary mapping #213

Closed
wants to merge 1 commit into from
Closed

removed the unnecessary mapping #213

wants to merge 1 commit into from

Conversation

abhijit-chikane
Copy link

@abhijit-chikane abhijit-chikane commented Nov 28, 2023

Fixes #212 the issue made in reference to
#211 (comment)

@hbons
Copy link
Member

hbons commented Nov 29, 2023

Not sure what your reason is to remove this mapping? There are many mappings to the same icons to make searching for icons easier. Happy to discuss on the original PR.

@hbons hbons closed this Nov 29, 2023
@abhijit-chikane
Copy link
Author

Not sure what your reason is to remove this mapping? There are many mappings to the same icons to make searching for icons easier. Happy to discuss on the original PR.

Ohk, I didn't know that
Thank you!

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.

Do we really need this?
2 participants