Skip to content

Conversation

@ajnelson-nist
Copy link
Member

AJN: I modified this patch to remove a secondary effect unrelated to the
original IDE request, and to add the change in sort-order.

(cherry picked from commit f7730a1)

AJN: I modified this patch to remove a secondary effect unrelated to the
original IDE request, and to add the change in sort-order.

(cherry picked from commit f7730a1)
@ajnelson-nist ajnelson-nist self-assigned this Jan 4, 2022
@ajnelson-nist
Copy link
Member Author

@kchason , FYI. I'll merge once CI passes.

@ajnelson-nist ajnelson-nist merged commit 586d74e into develop Jan 4, 2022
@ajnelson-nist ajnelson-nist deleted the add_jetbrains_to_gitignore branch January 4, 2022 14:28
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.

3 participants