tree 1a60e5724314b0ea9dd778d2b184d45ae5dd9fc5
parent 2dc330b52a405c56bc334c615116d7e76d46fe7f
author Nicolas Geoffray <ngeoffray@google.com> 1485443932 +0000
committer Nicolas Geoffray <ngeoffray@google.com> 1485443978 +0000

Forgot this change from last commit.

Test: 529-checker-unresolved
Change-Id: I14b6a8d81a7a885cff36d3361f83d891e3ff9956