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

Add suggestions from Glyphy.jl #40

Merged
merged 4 commits into from
Dec 19, 2023
Merged

Add suggestions from Glyphy.jl #40

merged 4 commits into from
Dec 19, 2023

Conversation

adrhill
Copy link
Collaborator

@adrhill adrhill commented Dec 18, 2023

Closes #32 by adding:

  • ENV 🧧
  • div 🤿
  • flush 😳
  • get 🤲
  • chop 🥢

@adrhill adrhill requested a review from theogf December 18, 2023 19:51
@theogf
Copy link
Member

theogf commented Dec 18, 2023

Some of the unicode are not 1.0 compatible, yiu probably need to replace with the unicode character

@adrhill
Copy link
Collaborator Author

adrhill commented Dec 18, 2023

Without CI running on all Julia versions, it's hard to add a version number to the Dict 📖.

@theogf
Copy link
Member

theogf commented Dec 18, 2023

Without CI running on all Julia versions, it's hard to add a version number to the Dict 📖.

That's was a mistake to remove them. Could you add all versions to the CI again? (and remove the 1.5 on the diving mask so we can identify the version)

@theogf theogf merged commit 4e6b03e into 🖐️ Dec 19, 2023
8 checks passed
@theogf theogf deleted the ah/glyphy_suggestions branch December 19, 2023 20:10
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.

2 participants