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

IF search bad Name #1954

Merged

JoeCohen merged 2 commits into main from jdc-if-web-search-mashed

Feb 22, 2024

Member

JoeCohen commented Feb 22, 2024 •

edited

Loading

One-line fix (plus a test) of a bug in the Nomenclature "IF web searcjh url. See #1925
Fixes #1925

JoeCohen added 2 commits

February 22, 2024 15:18


          Add test exposing bug

4ad9d3a


          Fix bug

0b528d2

- Fixes regular epression that's used to remove "group" etc. from text_name

JoeCohen merged commit 2b2b213 into main

5 checks passed

Member Author

JoeCohen commented Feb 22, 2024

Deployed deploy-2024-02-22-23-56 -> deploy-2024-02-22-23-56

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