tree 7a39fffc5ebf7ac7be96ed81cfd2ecf8ad0c8607
parent 043b1019ce500bf077c678b9140a08f4a9bc1fc1
author Luca Milanesio <luca.milanesio@gmail.com> 1547167613 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1547167613 +0000

Set version to 2.11.12

Change-Id: Idcfb17a9e438519c8acd466011c303a0e7334a3c