0.72 released, next version is 0.73

diff --git a/version b/version
index b214dd9..6ab5ccf 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-0.72
+0.73