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

Eliminate _VERIFY in HistoryGridComp #1952

Closed
tclune opened this issue Feb 2, 2023 · 1 comment · Fixed by #1953
Closed

Eliminate _VERIFY in HistoryGridComp #1952

tclune opened this issue Feb 2, 2023 · 1 comment · Fixed by #1953
Assignees
Labels
0 Diff Trivial The changes in this pull request are trivially zero-diff (documentation, build failure, &c.) ❗ High Priority This is a high priority PR 🛠️ Refactor This is code refactoring

Comments

@tclune
Copy link
Collaborator

tclune commented Feb 2, 2023

A quick fix is needed to clean History (slightly) prior to some new changes that @metdyn will be implementing. @mathomp4 is the master of carefully using global replace to get this sort of thing right.

@tclune tclune added 0 Diff Trivial The changes in this pull request are trivially zero-diff (documentation, build failure, &c.) 🛠️ Refactor This is code refactoring ❗ High Priority This is a high priority PR labels Feb 2, 2023
@mathomp4
Copy link
Member

mathomp4 commented Feb 2, 2023

@tclune So, go to pure _RC? Or don't verify at all?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
0 Diff Trivial The changes in this pull request are trivially zero-diff (documentation, build failure, &c.) ❗ High Priority This is a high priority PR 🛠️ Refactor This is code refactoring
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants