From 60f15d9a60e7e0754c30bd8ec458982cd35540d3 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 4 May 2016 16:07:22 +0200
Subject: reference the mailing list thread

---
 open_issues/64-bit_port.mdwn | 1 +
 1 file changed, 1 insertion(+)

(limited to 'open_issues')

diff --git a/open_issues/64-bit_port.mdwn b/open_issues/64-bit_port.mdwn
index 04273630..651b5533 100644
--- a/open_issues/64-bit_port.mdwn
+++ b/open_issues/64-bit_port.mdwn
@@ -14,6 +14,7 @@ License|/fdl]]."]]"""]]
 There is a `master-x86_64` GNU Mach branch.  As of 2012-11-20, it only supports
 the [[microkernel/mach/gnumach/ports/Xen]] platform.
 
+See http://lists.gnu.org/archive/html/bug-hurd/2012-04/msg00000.html
 
 # IRC, freenode, #hurd, 2011-10-16
 
-- 
cgit v1.2.3