From 16de6a0d77a67673fc70cfa266fd4f2a2b25d8ae Mon Sep 17 00:00:00 2001
From: Thomas Keller <me@thomaskeller.biz>
Date: Sun, 6 May 2012 22:34:56 +0200
Subject: [PATCH] Enter a release date and pin the current version.

---
 NEWS.mdtext         | 6 +++---
 src/IDF/version.php | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/NEWS.mdtext b/NEWS.mdtext
index dea8a20..0672969 100644
--- a/NEWS.mdtext
+++ b/NEWS.mdtext
@@ -1,10 +1,10 @@
-# InDefero 1.3.1 - xxx xxx xx xx:xx 2012 UTC
+# InDefero 1.3.1 - Sun May 06 20:32 2012 UTC
 
 ## Bugfixes
 
-- Compatiblity fixes for PostgreSQL (fixes issue 800)
+- Compatiblity fixes for PostgreSQL (issue 800)
 - Fix TOC generation in wiki (issue 803)
-- Make the display of large files and diffs faster (fixes issue 804)
+- Make the display of large files and diffs faster (issue 804)
 - Make the project list faster and its tag list more accurate by not
   counting projects that are invisible to the current user
 
diff --git a/src/IDF/version.php b/src/IDF/version.php
index 6e586db..c23a273 100644
--- a/src/IDF/version.php
+++ b/src/IDF/version.php
@@ -1,5 +1,5 @@
 <?php
 return array(
-    'version'  => '1.3.1-dev',
+    'version'  => '1.3.1',
     'revision' => '$Format:%H$',
 );