bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [web:minor updates 1/3] add more detail to the resource management p


From: Amos Jeffries
Subject: Re: [web:minor updates 1/3] add more detail to the resource management page
Date: Thu, 17 Oct 2024 20:45:16 +1300
User-agent: Mozilla Thunderbird

On 17/10/24 19:06, jbranso@dismail.de wrote:
diff --git a/open_issues/resource_management_problems.mdwn 
b/open_issues/resource_management_problems.mdwn
index daf97954..51025d34 100644
--- a/open_issues/resource_management_problems.mdwn
+++ b/open_issues/resource_management_problems.mdwn

+These issues are what Neal Walfield explored with his on with his
+kernel [[microkernel/viengoos]].

Typo "with his on with his" / "with his".


Cheers
Amos



reply via email to

[Prev in Thread] Current Thread [Next in Thread]