refactoring: rename abort_if_new_errors #31207

Closed

Closed

refactoring: rename abort_if_new_errors#31207

Assignees

opened

on Jan 26, 2016

See #31065 (comment)

Metadata

Assignees

nrc

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests