diff -r d4c538a7d655 -r 74b49c8b1b79 doc/doap.xml --- a/doc/doap.xml Thu Oct 10 20:46:27 2019 +0200 +++ b/doc/doap.xml Thu Oct 10 23:39:32 2019 +0200 @@ -415,7 +415,7 @@ - + 0.12