add release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>

update release notes

Signed-off-by: Nikolaj Bjorner <[email protected]>

updated release notes for 12.2

Signed-off-by: Nikolaj Bjorner <[email protected]>

update release script

Signed-off-by: Nikolaj Bjorner <[email protected]>

Update release.yml for Azure Pipelines

inc version

Signed-off-by: Nikolaj Bjorner <[email protected]>

fix closing parnetheses

Signed-off-by: Nikolaj Bjorner <[email protected]>

inc release number

Signed-off-by: Nikolaj Bjorner <[email protected]>

startswith

Signed-off-by: Nikolaj Bjorner <[email protected]>

Merge branch 'master' of https://github.com/z3prover/z3