From 2f1ae165266cad05b95e2abd188219d737feb57f Mon Sep 17 00:00:00 2001 From: Jonas Helming Date: Fri, 6 Oct 2023 15:08:30 +0200 Subject: [PATCH] Add 1.42 release announcement (#462) fixed #461 Signed-off-by: Jonas Helming --- src/components/Resources.js | 5 +++++ src/components/index/Header.js | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/components/Resources.js b/src/components/Resources.js index 27ff5d61..229b1944 100644 --- a/src/components/Resources.js +++ b/src/components/Resources.js @@ -79,6 +79,11 @@ const categories = [ { title: 'Release announcements', resources: [ + { + title: 'Eclipse Theia 1.42 Release: News and Noteworthy', + url: 'https://eclipsesource.com/blogs/2023/10/06/eclipse-theia-1-42-release-news-and-noteworthy/', + type: 'article' + }, { title: 'Eclipse Theia 2023-08 Community Release: News and Noteworthy', url: 'https://eclipsesource.com/blogs/2023/09/15/the-eclipse-theia-community-release-2023-08/', diff --git a/src/components/index/Header.js b/src/components/index/Header.js index ee45dc97..4a865bb3 100644 --- a/src/components/index/Header.js +++ b/src/components/index/Header.js @@ -115,7 +115,7 @@ const Header = () => (

Efficiently develop and deliver Cloud & Desktop IDEs and tools with modern web technologies.
- Learn about the latest 1.41 Release and the latest Community Release (2023-08). + Learn about the latest 1.42 Release and the latest Community Release (2023-08).
Stay up-to-date: follow us on Twitter and register to the "Friends of Theia" mailing list.