diff --git a/debian/RELEASE b/debian/RELEASE
index 48082f7..b1bd38b 100644
--- a/debian/RELEASE
+++ b/debian/RELEASE
@@ -1 +1 @@
-12
+13