diff options
Diffstat (limited to 'microkernel')
-rw-r--r-- | microkernel/mach/gnumach/projects/mach_5.mdwn | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/microkernel/mach/gnumach/projects/mach_5.mdwn b/microkernel/mach/gnumach/projects/mach_5.mdwn index a4236ea5..b90f04d5 100644 --- a/microkernel/mach/gnumach/projects/mach_5.mdwn +++ b/microkernel/mach/gnumach/projects/mach_5.mdwn @@ -134,4 +134,4 @@ A prototype exists. ### Discussions * <https://lists.gnu.org/archive/html/bug-hurd/2015-05/msg00000.html> - +* <https://lists.gnu.org/archive/html/bug-hurd/2016-09/msg00056.html> |