tree 54b06d749425bd757fe7725e55a442a3b9c36e11
parent cff942b1f7ebb82e3d5e0a1334467544eced1575
parent 4d1e9ab57e4c822e8e678b1d0c1d6ad2abfa9b3e
author Sebastien Hertz <shertz@google.com> 1411377017 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1411377018 +0000

Merge "Do not hold breakpoint lock when running the verifier"