tree 53f628e428f544b2cc391f2cfdff10c053268d3e
parent 7b4d93ec90c80457121f0c8e56f0e82ae60923f3
parent 97e2f26524f4d08796a0a224b17e082734cceb5f
author Vladimir Marko <vmarko@google.com> 1428655580 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1428655580 +0000

Merge "Refine erratum 843419 check for linker workaround."