From b0f260d3f9335ad3e6786c844d0365ed365b35c3 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@schwinge.name>
Date: Tue, 5 Jul 2011 17:13:46 +0200
Subject: open_issues/gdb_head: No longer reproducible.

---
 source_repositories/gdb.mdwn | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'source_repositories')

diff --git a/source_repositories/gdb.mdwn b/source_repositories/gdb.mdwn
index c68ddf81..76b82534 100644
--- a/source_repositories/gdb.mdwn
+++ b/source_repositories/gdb.mdwn
@@ -9,10 +9,7 @@ is included in the section entitled [[GNU Free Documentation
 License|/fdl]]."]]"""]]
 
 There is a repository for maintenance of [[/GDB]] for the Hurd's needs:
-<!--
 `grubber:~tschwinge/tmp/gdb/git`.
--->
-it currently lives only on [[ŧschwinge]]'s infrastructure.
 
 This repository uses [[TopGit]] and is based on
 <http://sourceware.org/git/?p=gdb.git;a=summary>.
-- 
cgit v1.2.3