tree 3c87a7784ca5434f2f8864ac5532bc3c0760bc4c
parent 930a322e4bfe1c4fcb13a31593175a721404ac5b
parent 84d183a53452184baa616737bff4d029e5516b9a
author Max Weninger <max.weninger@gmail.com> 1572964714 +0100
committer Gerrit Code Review <gerrit2@gerrit.omnirom.org> 1572964714 +0100

Merge "overlay: change a few settings options" into android-10