tree 048f0e362ac813fdceea4942f82ff161886c1028
parent 29cad6d4af6231722f9ae7cd0877818b95f85093
author Luca Milanesio <luca.milanesio@gmail.com> 1581337234 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1581337234 +0000

Set version to 3.1.2

Change-Id: If0863cdc2cff2ab54b555add853dba1b3e54da5c