tree a8c71fcc4c503e9f3237e19c35ba42d3e3470713
parent d7dbf6cd2821c230cfc7140047e6ba4187e75299
author LuK1337 <priv.luk@gmail.com> 1761135610 +0000
committer ParsaAslaniYC <parsaaslani.67@gmail.com> 1770300987 +0000

ingres: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.

Change-Id: Id0fc0b2b54734dc75c4cb1bda427abcd148ea05b