diff options
author | chrome-bot <chrome-bot@chromium.org> | 2019-12-09 19:20:09 -0800 |
---|---|---|
committer | ChromeOS bot <3su6n15k.default@developer.gserviceaccount.com> | 2019-12-10 03:20:14 +0000 |
commit | 3001c16827891db91a449d40b59f9a2c0d05d96c (patch) | |
tree | bc1b04f586ed67700bf63a06a8afe265b9d2f7b2 | |
parent | 46dacd67dfa43b595df5410d3e21da31a753a184 (diff) | |
download | toolchain-utils-3001c16827891db91a449d40b59f9a2c0d05d96c.tar.gz |
afdo_metadata: Publish new profiles for kernel 4.4.
Update chromeos-kernel-4_4 from R80-12672.0-1575282851 to R80-12714.0-1575887745
Change-Id: I0440db51f686166fe20cee15d52aac3180f6e84a
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/third_party/toolchain-utils/+/1959818
-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 8bb580e8..4a1aae6f 100644 --- a/afdo_metadata/kernel_afdo.json +++ b/afdo_metadata/kernel_afdo.json @@ -3,7 +3,7 @@ "name": "R80-12607.34-1575283400" }, "chromeos-kernel-4_4": { - "name": "R80-12672.0-1575282851" + "name": "R80-12714.0-1575887745" }, "chromeos-kernel-3_18": { "name": "R80-12607.34-1575282780" |