version: 0.40~rc1 -> 0.40

diff --git a/version.txt b/version.txt
index 2199de975882dbb090d1ef2e1c4148382d7a5b0e..744f3d7d24e9196f1c689cff4457ac00ec33617c 100644 (file)
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-0.40~rc1
+0.40