From d77ae53df35a79c9ee293fe4f595358419fe81dd Mon Sep 17 00:00:00 2001
From: Jim Jagielski <jimjag@php.net>
Date: Wed, 17 Jul 2013 11:55:40 +0000
Subject: [PATCH] no longer -dev

---
 php_gnupg.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/php_gnupg.h b/php_gnupg.h
index 87f6b51..fb74bd7 100644
--- a/php_gnupg.h
+++ b/php_gnupg.h
@@ -19,7 +19,7 @@
 extern zend_module_entry gnupg_module_entry;
 #define phpext_gnupg_ptr &gnupg_module_entry
 
-#define PHP_GNUPG_VERSION "1.3.3-dev"
+#define PHP_GNUPG_VERSION "1.3.3"
 
 #ifdef PHP_WIN32
 #define PHP_GNUPG_API __declspec(dllexport)