tree 6fa4e867eee27d87ed9a26b0792315e59a20630a
parent 3e1a771ea7a9dd50cc8cdbf11ce368b552651b7f
author Philipp Wollermann <philwo@google.com> 1519058128 +0100
committer Philipp Wollermann <philwo@google.com> 1519058128 +0100

Remove now unused fail_if_nonzero method