tree 36347c2c6d2b89d1d6347c6c259def427b0fc2a4
parent 69edd0dbce97f786f71596d696e17be0f380f405
parent fbb184a1c6df22d9302b32b55206396c8278edcf
author Vladimir Marko <vmarko@google.com> 1447938729 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1447938729 +0000

Merge "Fix ClinitCheck pruning."