From d9506c6f0e22de2c476f241b5aecf888fafcfb53 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Wed, 18 Feb 2015 00:56:55 +0100
Subject: Revert "update for rename of open_issues/pfinet_timers.mdwn to
 service_solahart_jakarta_selatan__082122541663/pfinet_timers.mdwn"

This reverts commit f50ef7d964d53ffdc878b0bae7eabe471d89aa74.
---
 service_solahart_jakarta_selatan__082122541663/libpthread.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'service_solahart_jakarta_selatan__082122541663')

diff --git a/service_solahart_jakarta_selatan__082122541663/libpthread.mdwn b/service_solahart_jakarta_selatan__082122541663/libpthread.mdwn
index ec82103c..682ae064 100644
--- a/service_solahart_jakarta_selatan__082122541663/libpthread.mdwn
+++ b/service_solahart_jakarta_selatan__082122541663/libpthread.mdwn
@@ -1727,7 +1727,7 @@ Same issue as [[service_solahart_jakarta_selatan__082122541663/term_blocking]] p
 
     <youpi> it seems fakeroot has become slow as hell
 
-[[service_solahart_jakarta_selatan__082122541663/pfinet_timers]].
+[[pfinet_timers]].
 
     <braunr> fakeroot is the main source of dead name notifications
     <braunr> well, a very heavy one
-- 
cgit v1.2.3