Skip to content

Commit

Permalink
Merge pull request #517 from hjmjohnson/remove-fatal_error-ignored-op…
Browse files Browse the repository at this point in the history 
…tion

STYLE: Remove ingored FATAL_ERROR flag
  • Loading branch information
@robertodr
robertodr authored Mar 7, 2020
2 parents 26de2da + 47355e7 commit f8175d4
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit f8175d4

Please sign in to comment.