Created release v18.13

daben · Feb 3, 2015 · 2e5d2c4 · 2e5d2c4
1 parent 5241b84
commit 2e5d2c4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/.current_minor_release_number b/docs/.current_minor_release_number
@@ -1 +1 @@
-12
+13
diff --git a/docs/.logger_revnum b/docs/.logger_revnum
@@ -1 +1 @@
-4e3941b13ca8
+67c3ad208aae