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.