tree 2c7dfae8ae0806a45111d4e799ba52c9b6024795
parent 9e31317cba64e8211ec26c9cfede94f243f9b93e
author Søren Gjesse <sgjesse@google.com> 1602229120 +0200
committer Søren Gjesse <sgjesse@google.com> 1602229295 +0000

Make it possible to change the level of the checkdiscard diagnostic

Bug: 166258805
Change-Id: Ide046a46493e9963ca574dc60660b7dc74509662