cli: Remove now-unused json.c

[obsolete/notmuch-old] / version

diff --git a/version b/version
index bdc34446c22cd97acf77dd3f4036f74c7c653681..9beb74d490bcac4ce1c67a584dd97ac4924247ed 100644 (file)
--- a/version
+++ b/version
@@ -1 +1 @@
-0.10~rc1
+0.13.2