Fix broken links to microkernel/mach/gnumach/interface/device/time.
[hurd-web.git] / open_issues / vdso.mdwn
index 2b2d280..76c43aa 100644 (file)
@@ -35,7 +35,7 @@ Having vDSO code might be useful for:
 
   * `mach_*_self`: `mach_host_self`, `mach_task_self`, `mach_thread_self`?
 
-  * [[mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]
+  * [[mapped-time_interface|microkernel/mach/gnumach/interface/device/time]]
 
     Every application can then use that via the regular
     `gettimeofday`/`clock_gettime` and similar calls instead of using the