From b2722a89702572c678f3286d4ac11d35f199bf04 Mon Sep 17 00:00:00 2001
From: Brian Paul <brianp@vmware.com>
Date: Wed, 8 Feb 2017 12:31:43 -0700
Subject: [PATCH] docs: the site is now hosted by freedesktop.org

Reviewed-by: Eric Engestrom <eric@engestrom.ch>
---
 docs/contents.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/contents.html b/docs/contents.html
index c2fe39190c5..f56501f1551 100644
--- a/docs/contents.html
+++ b/docs/contents.html
@@ -98,8 +98,7 @@
 <b>Hosted by:</b>
 <br>
 <blockquote>
-<a href="http://sourceforge.net"
-target="_parent">sourceforge.net</a>
+<a href="http://freedesktop.org" target="_parent">freedesktop.org</a>
 </blockquote>
 
 </body>
-- 
2.30.2