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.

Sign up for GitHub

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

Jump to bottom

duplication in filtered fonts #84

Closed
sepandhaghighi opened this issue Dec 8, 2019 · 1 comment
Closed

duplication in filtered fonts #84

sepandhaghighi opened this issue Dec 8, 2019 · 1 comment
Assignees
@sepandhaghighi
Labels
enhancement
Milestone
art 4.4

Comments

@sepandhaghighi
Copy link
Owner

Description

It seems there is high level coverage in TEST_FILTERED_FONTS and RANDOM_FILTERED_FONTS
@sepandhaghighi sepandhaghighi self-assigned this Dec 8, 2019
sepandhaghighi added a commit that referenced this issue Dec 8, 2019
@sepandhaghighi
fix : RANDOM_FILTERED_FONTS optimized #84
0cbce73
sepandhaghighi added a commit that referenced this issue Dec 8, 2019
@sepandhaghighi
doc : CONTRIBUTING.md updated #84
3d85e33
@sepandhaghighi sepandhaghighi mentioned this issue Dec 9, 2019
Merged
@sepandhaghighi sepandhaghighi added this to the art 4.4 milestone Dec 9, 2019
@sepandhaghighi sepandhaghighi mentioned this issue Dec 23, 2019
Merged
@sepandhaghighi
Copy link
Owner Author

fixed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sepandhaghighi sepandhaghighi

Labels
enhancement
Projects
None yet
Milestone
art 4.4
Development

No branches or pull requests
1 participant
@sepandhaghighi