Create placeholders for documenting release by repository

Change-Id: I0e4af607de9e6aac3424676f344714e0d9e6fde8
diff --git a/VERSION b/VERSION
index 9634e38..14f37ac 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.12.12
+2.12.13