From 6b35b9de00b2c2e7aa2d39c38924427dafa392e4 Mon Sep 17 00:00:00 2001 From: Robin Eklind Date: Sat, 8 Dec 2018 17:03:53 +0100 Subject: [PATCH] doc: prevent line break between the* and *health* Fixes #3077 --- doc/release_notes-18-11.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/release_notes-18-11.txt b/doc/release_notes-18-11.txt index e3845731e..e2b0e5110 100644 --- a/doc/release_notes-18-11.txt +++ b/doc/release_notes-18-11.txt @@ -35,8 +35,8 @@ obtain. To improve the resilience of Genode systems that contain parts that are known/expected to sometimes fail, e.g., because they depend on hugely complex -software stacks, the new release features the ability to *monitor* *the* -*health* of components (Section [Component health monitoring]). Using this new +software stacks, the new release features the ability to *monitor the health* +of components (Section [Component health monitoring]). Using this new introspection mechanism, Genode systems become able to respond to such conditions by restarting the affected component or by logging the event.