commit 68e2dc2086432aa11858454b73d417762a78d4d0
author Treehugger Robot <treehugger-gerrit@google.com> Mon Jan 28 22:18:09 2019 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Mon Jan 28 22:18:09 2019 +0000
tree d6b2e6a496fff3b77071896ae2c4c302884e0ece
parent fee423e64dbbc3e9a72ca9e64695c5495f12df9b
parent bb2658d5e2b9cbf3bf9ff30dc25f4f3aeb85e94a

Merge "releasetools: Really allow removing partitions"

target/product/gsi/current.txt

diff --git a/target/product/gsi/current.txt b/target/product/gsi/current.txt
index e70ab5b..3ceeda1 100644
--- a/target/product/gsi/current.txt
+++ b/target/product/gsi/current.txt
@@ -137,6 +137,7 @@
 VNDK-core: android.hardware.radio@1.3.so
 VNDK-core: android.hardware.radio@1.4.so
 VNDK-core: android.hardware.secure_element@1.0.so
+VNDK-core: android.hardware.secure_element@1.1.so
 VNDK-core: android.hardware.sensors@1.0.so
 VNDK-core: android.hardware.soundtrigger@2.0.so
 VNDK-core: android.hardware.soundtrigger@2.0-core.so