From 1d6dcf811f6c7a54da6b214ddd6d3ca8a372bd47 Mon Sep 17 00:00:00 2001 From: Chris Johns Date: Wed, 3 Aug 2022 14:24:59 +1000 Subject: versions: Update user manual Updates #4695 --- user/hosts/os.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'user/hosts/os.rst') diff --git a/user/hosts/os.rst b/user/hosts/os.rst index 4bb873e..49d7e7e 100644 --- a/user/hosts/os.rst +++ b/user/hosts/os.rst @@ -79,4 +79,4 @@ proven over the years to be difficult to manage in production systems. $ git checkout -t origin/4.11 - Branches are available for the 4.9, 4.10, and 4.11 versions of RTEMS. + Branches are available for the 4.9, 4.10, 4.11 and 5 versions of RTEMS. -- cgit v1.2.3