Update rascal-0-40-x-release-notes.md

usethesource · Nov 15, 2024 · 3790d7b · 3790d7b
1 parent 3d29450
commit 3790d7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release-notes/rascal-0-40-x-release-notes.md b/release-notes/rascal-0-40-x-release-notes.md
@@ -1,7 +1,7 @@
 ---
 authors: [jvinju]
 title: "Rascal 0.40.x release notes"
-sidebar_position: 92
+sidebar_position: 88
 ---
 
 In this post we report on the Rascal release 0.40.x