summaryrefslogtreecommitdiff
path: root/tasks
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2012-07-01 02:12:43 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2012-07-01 02:12:43 +0000
commit13ea39a34766fcbecd96ab94bcdf798b08e9bb60 (patch)
tree1e1463b03838a6f36868a4dafc7e652358a51857 /tasks
parent1f8d504f631531c199d7c6154a0dc442d80ea4a7 (diff)
parent7e15f3d69a83a34ac62cbbee944a0bfbfa92724e (diff)
Merge branch 'master' into xkb
Conflicts: config.make.in configure.in
Diffstat (limited to 'tasks')
-rw-r--r--tasks2
1 files changed, 1 insertions, 1 deletions
diff --git a/tasks b/tasks
index 0637a880..871bde17 100644
--- a/tasks
+++ b/tasks
@@ -94,7 +94,7 @@ Please discuss proposed microkernel work with thomas@gnu.org.
can be device_open'd, as well as to get the type of a device.
* A way to have the kernel send a message on some designated port
- everytime a new task is started.
+ every time a new task is started.
* OSF has enhanced the exception_raise protocol to include thread_state
information. This code should be merged into the kernel; OSF people