From 9ca42448c789214cd37dfbbb7e975584b0e2672b Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 11 Dec 2018 10:16:28 +0100 Subject: [PATCH] doc: grammar fix in the release notes 18.11 Thanks to Jeroen van Gelderen for reporting! --- doc/release_notes-18-11.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/release_notes-18-11.txt b/doc/release_notes-18-11.txt index e2b0e5110..163ec765a 100644 --- a/doc/release_notes-18-11.txt +++ b/doc/release_notes-18-11.txt @@ -113,7 +113,7 @@ platform requirements and success conditions). Furthermore for managing package depots, Genode already provides a comprehensive set of well-tested tools, most noteworthy in this context the depot-query application. This component makes querying the contents of packages as easy as writing the -package path to a report and awaiting an according blueprint through a ROM +package path to a report and awaiting the resulting blueprint through a ROM dataspace. That said, the choice of the back-end mechanism was clear and consequently, we named the new component _depot autopilot_.