tree c240485d5c42cc5959363e4e62146a583cfa0e7c
parent a172532ca81daaa46f7b11c3b92a89378f4ed340
parent 121c47b46365c576604c373fca09c96ca8c343bd
author Morten Krogh-Jespersen <mkroghj@google.com> 1548407460 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1548407460 +0000

Merge "Make check for compilation errors in tools/utils a bit more precise"