Skip to content

Commit

Permalink
Merge pull request dev-cafe#517 from hjmjohnson/remove-fatal_error-ig…
Browse files Browse the repository at this point in the history 
…nored-option

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.