Merge "Remove old lint from PRODUCT_PACKAGES" am: 0351c780db am: 7981a8e49e am: ef49321909

Original change: https://android-review.googlesource.com/c/device/generic/armv7-a-neon/+/1620662

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: I39ad388199e58882f670d2eb037cfd1345d85b06
diff --git a/mini_common.mk b/mini_common.mk
index d71f814..ca653af 100644
--- a/mini_common.mk
+++ b/mini_common.mk
@@ -55,7 +55,6 @@
     libvideoeditor_osal \
     libvideoeditorplayer \
     libvideoeditor_videofilters \
-    lint \
     local_time.default \
     network \
     pand \