tree a86fc76a1c57c2e7fcea494f4efa9ff836bfc184
parent 978b3df82005e6a1b81e7cac90132995c028c9a4
author David Ostrovsky <david@ostrovsky.org> 1547327072 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1549927073 +0000

AuthenticatedUser: Add final keyword for class members

Change-Id: Iaf1ded51cf100559c72593e6cca8af556f9267c0