bump to version 0.7.12

2023-02-16 11:18:50 +01:00
parent fcee735d8a
commit 39378cbc0f
59 changed files with 2120 additions and 2075 deletions
--- a/docs/_static/documentation_options.js
+++ b/docs/_static/documentation_options.js
@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.7.11',
+    VERSION: '0.7.12',
    LANGUAGE: 'en',
    COLLAPSE_INDEX: false,
    BUILDER: 'html',