diff options
| author | chrome-bot <chrome-bot@chromium.org> | 2019-12-10 13:37:08 -0800 |
|---|---|---|
| committer | ChromeOS bot <3su6n15k.default@developer.gserviceaccount.com> | 2019-12-10 21:37:13 +0000 |
| commit | 2b69eb32d50b106b9035528fa2db936123dc8b41 (patch) | |
| tree | 6b5f2d7a9c4ca8c6ae38dd1c8516bc5956dd44f8 | |
| parent | ed2720ea2d75c26366f4e4643c6cfeda39060e34 (diff) | |
| download | toolchain-utils-2b69eb32d50b106b9035528fa2db936123dc8b41.tar.gz | |
afdo_metadata: Publish new profiles for kernel 3.18.
Update chromeos-kernel-3_18 from R80-12607.34-1575282780 to R80-12607.47-1575888165
Change-Id: I95c903dfeccf4338d2fffab427e8c65d3e2f5f81
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/third_party/toolchain-utils/+/1960947
| -rw-r--r-- | afdo_metadata/kernel_afdo.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/afdo_metadata/kernel_afdo.json b/afdo_metadata/kernel_afdo.json index 8200d5bd..e49b3122 100644 --- a/afdo_metadata/kernel_afdo.json +++ b/afdo_metadata/kernel_afdo.json @@ -6,6 +6,6 @@ "name": "R80-12714.0-1575887745" }, "chromeos-kernel-3_18": { - "name": "R80-12607.34-1575282780" + "name": "R80-12607.47-1575888165" } }
\ No newline at end of file |