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

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