tree 55931d1d05c57399da8e48f2b403e22cf85ddf8f
parent 10b158bddaccde0b846c59b5ff624113222a5bed
author David Ostrovsky <david@ostrovsky.org> 1595519697 +0200
committer David Ostrovsky <david@ostrovsky.org> 1595519697 +0200

Set version to 3.0.12

Change-Id: I526655dc1dcf0cf2570551a18e46565562ccf82c