diff options
| author | Dmitriy Ivanov <dimitry@google.com> | 2014-05-23 10:59:24 -0700 |
|---|---|---|
| committer | Dmitriy Ivanov <dimitry@google.com> | 2014-05-23 11:14:52 -0700 |
| commit | eb0bae136f4eeaaf29761dddb148b118fb824632 (patch) | |
| tree | a808c956657493b0d614ec8715ff98721e7b5865 /upstream.revs.txt | |
| parent | d03bcacb936f49140248d23badbbd202333187c2 (diff) | |
| download | valgrind-eb0bae136f4eeaaf29761dddb148b118fb824632.tar.gz | |
Sync with upstream
val: 13876 -> 13990
vex: 2840 -> 2864
Change-Id: I78af89643e5d7093499e97c67f2f51ffc628c98e
Diffstat (limited to 'upstream.revs.txt')
| -rw-r--r-- | upstream.revs.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/upstream.revs.txt b/upstream.revs.txt index cf41c6fd9..e181b9786 100644 --- a/upstream.revs.txt +++ b/upstream.revs.txt @@ -1,2 +1,2 @@ -val: 13876 -vex: 2840 +val: 13990 +vex: 2864 |