diff options
author | Adin Scannell <ascannell@google.com> | 2019-05-22 18:18:01 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2019-05-22 18:18:53 -0700 |
commit | 79738d3958a027bcf449cf1bd608f3adec42b72c (patch) | |
tree | cfd8f47c8f33564c0d3f6d80ea4ca5ed3f84c142 /.github | |
parent | f65dfec09650768626a9af916b0487afa557a930 (diff) |
Log unhandled faults only at DEBUG level.
PiperOrigin-RevId: 249561399
Change-Id: Ic73c68c8538bdca53068f38f82b7260939addac2
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions