Update for 0.7.13

Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
diff --git a/Doxyfile b/Doxyfile
index 9e056ef..93fce23 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -31,7 +31,7 @@
 # This could be handy for archiving the generated documentation or
 # if some version control system is used.
 
-PROJECT_NUMBER         = 0.7.12
+PROJECT_NUMBER         = 0.7.13
 
 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute)
 # base path where the generated documentation will be put.
diff --git a/RELEASE b/RELEASE
index 88a7b22..a48658c 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-0.7.12
+0.7.13
diff --git a/VERSION b/VERSION
index 88a7b22..a48658c 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.7.12
+0.7.13