tree a930861e50937a183f896f00133f66720a9c36ff
parent 0a43631a7421d56f144a7f814eeeef37d377ecde
author Luca Milanesio <luca.milanesio@gmail.com> 1629254247 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1629254247 +0000

Set version to 3.2.12

Change-Id: I91c946f8ae62bf9d5f1200640409410568fbb118