From a2a414ea67a27f62aa287592abafe8e8f8a99c87 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 5 Feb 2015 21:57:55 -0500
Subject: debian/changelog: Tag 2.4-1 for unstable release

---
 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 5f9ea8c..d255d91 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-compcert (2.4-1) UNRELEASED; urgency=medium
+compcert (2.4-1) unstable; urgency=medium
 
   * Initial release.
 
- -- Benjamin Barenblat <bbaren@mit.edu>  Thu, 05 Feb 2015 15:14:50 -0500
+ -- Benjamin Barenblat <bbaren@mit.edu>  Thu, 05 Feb 2015 21:57:30 -0500
-- 
cgit v1.2.3