commit | 3001c16827891db91a449d40b59f9a2c0d05d96c | [log] [tgz] |
---|---|---|
author | chrome-bot <chrome-bot@chromium.org> | Mon Dec 09 19:20:09 2019 -0800 |
committer | ChromeOS bot <3su6n15k.default@developer.gserviceaccount.com> | Tue Dec 10 03:20:14 2019 +0000 |
tree | bc1b04f586ed67700bf63a06a8afe265b9d2f7b2 | |
parent | 46dacd67dfa43b595df5410d3e21da31a753a184 [diff] |
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
diff --git a/afdo_metadata/kernel_afdo.json b/afdo_metadata/kernel_afdo.json index 8bb580e..4a1aae6 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"