summaryrefslogtreecommitdiff
path: root/contributing/web_pages
diff options
context:
space:
mode:
authorArne Babenhauserheide <arne_bab@web.de>2011-10-05 13:25:50 +0200
committerArne Babenhauserheide <arne_bab@web.de>2011-10-05 13:25:50 +0200
commit12e9094b539ffc1d25380e9bc0f68b48f86abc43 (patch)
tree3ce7362d1acddb95d588a6da0dddb837f39849d7 /contributing/web_pages
parent6bac131fd3dee0e3a4c1aa35338ec24d296c2f6d (diff)
polish: additional *benefit*
Diffstat (limited to 'contributing/web_pages')
-rw-r--r--contributing/web_pages/news/2011-q2-ps.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/contributing/web_pages/news/2011-q2-ps.mdwn b/contributing/web_pages/news/2011-q2-ps.mdwn
index eb8c2c6e..0415db8b 100644
--- a/contributing/web_pages/news/2011-q2-ps.mdwn
+++ b/contributing/web_pages/news/2011-q2-ps.mdwn
@@ -70,7 +70,7 @@ regarding some of the more common misunderstandings.
Support for other driver types is also possible with DDE,
but it requires some not-trivial work for each additional class of drivers --
so this can take some time to become available.
- (An additional provided by DDE is that the device drivers run in userspace --
+ (An additional benefit provided by DDE is that the device drivers run in userspace --
unlike the old drivers we were using so far,
which are part of the underlying Mach microkernel.)