diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2013-07-10 23:39:29 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2013-07-10 23:39:29 +0200 |
| commit | 9667351422dec0ca40a784a08dec7ce128482aba (patch) | |
| tree | 190b5d17cb81366ae66efcf551d9491df194b877 /open_issues/gnumach_vm_object_resident_page_count.mdwn | |
| parent | b8f6fb64171e205c9d4b4a5394e6af0baaf802dc (diff) | |
| download | web-9667351422dec0ca40a784a08dec7ce128482aba.tar.gz web-9667351422dec0ca40a784a08dec7ce128482aba.tar.bz2 web-9667351422dec0ca40a784a08dec7ce128482aba.zip | |
IRC.
Diffstat (limited to 'open_issues/gnumach_vm_object_resident_page_count.mdwn')
| -rw-r--r-- | open_issues/gnumach_vm_object_resident_page_count.mdwn | 28 |
1 files changed, 27 insertions, 1 deletions
diff --git a/open_issues/gnumach_vm_object_resident_page_count.mdwn b/open_issues/gnumach_vm_object_resident_page_count.mdwn index cc1b8897..5c1247b2 100644 --- a/open_issues/gnumach_vm_object_resident_page_count.mdwn +++ b/open_issues/gnumach_vm_object_resident_page_count.mdwn @@ -1,4 +1,4 @@ -[[!meta copyright="Copyright © 2012 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2012, 2013 Free Software Foundation, Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -20,3 +20,29 @@ License|/fdl]]."]]"""]] <braunr> luckily, this should be easy to solve `vm/vm_object.h:vm_object:resident_page_count`. + + +## IRC, freenode, #hurd, 2013-06-03 + + <elmig> regarding + https://www.gnu.org/software/hurd/open_issues/gnumach_vm_object_resident_page_count.html, + this is fixed. it's an int. what should happen do this page? /dev/null + <elmig> ? + <youpi> I guess so + + +## IRC, freenode, #hurd, 2013-06-04 + + <elmig> + http://darnassus.sceen.net/~hurd-web/open_issues/gnumach_vm_object_resident_page_count/ + <elmig> this is a int + <elmig> how to deal with the page? delete it? archive it? + <braunr> ? + <elmig> the issue originallu reported was fixed, right? + <braunr> i think so, yes + <braunr> for now at least + <elmig> so this stays on the open_issues on the wiki anyway? + <braunr> no, it should go away + <elmig> i dont know how to suggest deletion on the wiki + <braunr> don't + <braunr> i'll do it later |