tree 366c9b0cfaefba17404521db5f547d7460eb6245
parent 9ef36a81f0386c659894a6c1a34c352421a2340c
author David Ostrovsky <david@ostrovsky.org> 1546790318 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1549921757 +0000

AuthenticatedUser: Add license header

Change-Id: I21e7a88ab38abaed48897bf021bd5f56431e69f6