Fix broken links to microkernel/mach/gnumach/interface/device/time.
[hurd-web.git] / open_issues / clock_gettime.mdwn
index 5ba6b41..98454d4 100644 (file)
@@ -15,7 +15,7 @@ License|/fdl]]."]]"""]]
 Missing `clock_gettime(CLOCK_MONOTONIC)` (e.g. for iceweasel)
 
 It could be a mere matter of extending the
-[[mapped-time_interface|master/microkernel/mach/gnumach/interface/device/time]]:
+[[mapped-time_interface|microkernel/mach/gnumach/interface/device/time]]:
 add it to
 `mapped_time_value_t` in gnumach, handle it in `gnumach/kern/mach_clock.c`, and
 make `clock_gettime` use it.