tree cb1c9b228ec9a7774cdf73dfb388d12ea9a366e7
parent 755254e1e55913dede975924a1c14b4eafcd45fe
author Michael W <baddaemon87@gmail.com> 1643641673 +0100
committer Bruno Martins <bgcngm@gmail.com> 1644526419 +0000

Updater: Replace lintOptions with lint

* As per AS recommendation

Change-Id: Id3668f21f356f13dcce4576c528b8af06d77a95f