Also, I don't believe exec has any known issues at the moment.
---
 hurd/translator/exec.mdwn | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/hurd/translator/exec.mdwn b/hurd/translator/exec.mdwn
index 1dc0ea26..756c272b 100644
--- a/hurd/translator/exec.mdwn
+++ b/hurd/translator/exec.mdwn
@@ -11,10 +11,3 @@ License|/fdl]]."]]"""]]
 
 The *exec* server, listening on `/servers/exec`, is responsible for
 preparing the execution of processes.
-
-
-# Open Issues
-
-  * [[open_issues/exec]].
-
-  * [[open_issues/exec_memory_leaks]].
-- 
2.53.0


Reply via email to