From 8698874d272bc54f5eaf0c264ea8980bfd7197be Mon Sep 17 00:00:00 2001
From: "Jaap A. Haitsma" <jaap@haitsma.org>
Date: Sun, 17 May 2009 16:29:40 +0200
Subject: [PATCH] developer.gnome.org is obsolete. Link to
 library.gnome.org/devel

---
 include/evilsedhack | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/evilsedhack b/include/evilsedhack
index 01f8a79..010f5dd 100755
--- a/include/evilsedhack
+++ b/include/evilsedhack
@@ -34,7 +34,7 @@ cat <<-FOOT
 		<a href="http://www.gnome.org/start/stable/">Download</a> &middot;
 		<!--<a href="http://www.gnome.org/contribute/"><i>Get Involved!</i></a> &middot;-->
 		<a href="http://www.gnome.org/">Users</a> &middot;
-		<a href="http://developer.gnome.org/">Developers</a> &middot;
+		<a href="http://library.gnome.org/devel">Developers</a> &middot;
 		<a href="http://foundation.gnome.org/"><b>Foundation</b></a> &middot;
 		<a href="http://www.gnome.org/contact/">Contact</a>
 	</div>