tree dee6a32974805c28a5082da3b7c583e6cf6b36e2
parent 5a3611599165e68fdd982ef8b3d8d8d158d8f174
author Luca Milanesio <luca.milanesio@gmail.com> 1580729126 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1580729126 +0000

Set version to 3.0.1

Change-Id: Iaecc8b9ea44ccb743b1f7c571162eb522f5bda49