tree 31049277a34a33dce4790d06f79acca3a015323d
parent 73594cde8c9a52a102c4341c244c833aa61b9c06
author Josh Haberman <jhaberman@gmail.com> 1492686350 +0100
committer Josh Haberman <jhaberman@gmail.com> 1492686350 +0100

Warn when we can't read compressed debug info.