tree 74c6fad1f44d5969c7a8b6a19e25dc676da2d115
parent 05bdb5f218f735a103b814a4e825d8be80ed4d14
author Luca Milanesio <luca.milanesio@gmail.com> 1638835261 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1638881868 +0000

Set project version to v3.5.0.1

Also adapt to Gerrit v3.5.0, including
the conversion to case-insensitive as GitHub accounts
are.

Change-Id: Ie20512ad97004cdfccd5a459da185827862d5863