tree 892d01ee863941b6cb00b858b9a43c209ee22e47
parent 7cb205a40fcbf85512fbaac4609a13e0dac99d8c
author Luca Milanesio <luca.milanesio@gmail.com> 1637612195 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1637612195 +0000

Set version to 3.4.2

Change-Id: I55edd51dd69ef0e1f8c677a41ebcd516bff7fd23