Merge pull request #14583 from scalacenter/restore-old-release-notes

Publish back the release notes of 0.1.2
scala · Mar 1, 2022 · 5a4a571 · 5a4a571
2 parents fa08d00 + 9db2eb5
commit 5a4a571
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/docs/_docs/release-notes/0.1.2.md → docs/_docs/release-notes-0.1.2.md b/docs/_docs/release-notes/0.1.2.md → docs/_docs/release-notes-0.1.2.md
@@ -1,6 +1,7 @@
 ---
 layout: doc-page
 title: 0.1.2 release notes
+redirectFrom: /docs/release-notes/0.1.2.html
 ---
 
 0.1.2 will be the first public release of Dotty.

diff --git a/docs/sidebar.yml b/docs/sidebar.yml
@@ -188,3 +188,5 @@ subsection:
       - page: internals/type-system.md
       - page: internals/dotty-internals-1-notes.md
       - page: internals/debug-macros.md
+  - page: release-notes-0.1.2.md
+    hidden: true