From bc77d51d54d02ef5132a9d65cb8f2813db9ece7b Mon Sep 17 00:00:00 2001
From: czaks <marcin@6irc.net>
Date: Sat, 10 Aug 2013 13:03:00 -0400
Subject: [PATCH] tag vichan-devel-4.0.9-gold

---
 install.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/install.php b/install.php
index 778654b7..e42bcc9c 100644
--- a/install.php
+++ b/install.php
@@ -1,7 +1,7 @@
 <?php
 
 // Installation/upgrade file	
-define('VERSION', 'v0.9.6-dev-11 + <a href="https://int.vichan.net/devel/">vichan-devel-4.0.8-gold</a>');
+define('VERSION', 'v0.9.6-dev-11 + <a href="https://int.vichan.net/devel/">vichan-devel-4.0.9-gold</a>');
 
 require 'inc/functions.php';
 
@@ -366,6 +366,7 @@ if (file_exists($config['has_installed'])) {
 		case 'v0.9.6-dev-11':
 		case 'v0.9.6-dev-11 + <a href="https://int.vichan.net/devel/">vichan-devel-4.0.6</a>':
 		case 'v0.9.6-dev-11 + <a href="https://int.vichan.net/devel/">vichan-devel-4.0.7-gold</a>':
+		case 'v0.9.6-dev-11 + <a href="https://int.vichan.net/devel/">vichan-devel-4.0.8-gold</a>':
 		case false:
 			// Update version number
 			file_write($config['has_installed'], VERSION);