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

703: Make glossary entry highlights case insensitive #706

Merged
merged 2 commits into from May 9, 2017

Conversation

@toolstack
Copy link
Contributor

@toolstack toolstack commented Apr 27, 2017

Resolves #703.

@ocean90 ocean90 changed the title 703: Make glossary entry highlights case insesitive. 703: Make glossary entry highlights case insensitive Apr 30, 2017
Copy link
Member

@ocean90 ocean90 left a comment

Can we add a test for this to test_mapping_entries_to_originals()?

@toolstack
Copy link
Contributor Author

@toolstack toolstack commented May 1, 2017

@ocean90 added test cases.

@ocean90
ocean90 approved these changes May 9, 2017
@toolstack toolstack merged commit 1a01db8 into develop May 9, 2017
@ocean90 ocean90 added this to the 2.4 milestone May 9, 2017
@toolstack toolstack deleted the 703-make-glossary-highlight-case-insesitive branch Jun 24, 2017
@toolstack toolstack modified the milestones: 3.0, 2.4 Aug 15, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants