From 90d8ea1373d96713275c7e4320a3dd7386838f70 Mon Sep 17 00:00:00 2001
From: Daniel Micay <danielmicay@gmail.com>
Date: Wed, 24 Aug 2022 14:09:30 -0400
Subject: [PATCH] redbull kernel fixes

---
 static/releases.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/static/releases.html b/static/releases.html
index 57c37d23..2b150558 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -582,6 +582,7 @@
                     <ul>
                         <li>Sandboxed Google Play compatibility layer: don't report spurious DeadSystemRuntimeException exceptions</li>
                         <li>Contacts: stop hiding local account when a Google account with no contacts is present in the profile (strange behavior from the stock OS which appears to have started triggering with Android 13)</li>
+                        <li>kernel (Pixel 4a (5G), Pixel 5, Pixel 5a): add missing several missed changes which blocked us from pushing out the previous release for these devices as an over-the-air update</li>
                     </ul>
                 </article>
                 -->