From 76d6b1a75d16dd53cee8fab525d14988b634ad4a Mon Sep 17 00:00:00 2001 From: Julien Richard-Foy Date: Thu, 3 Mar 2022 16:06:31 +0100 Subject: [PATCH] Remove occurrence of dead Dotty link Fixes #1342 --- blog/_posts/2017-09-07-third-dotty-milestone-release.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/blog/_posts/2017-09-07-third-dotty-milestone-release.md b/blog/_posts/2017-09-07-third-dotty-milestone-release.md index 7f1f02531..de9e0d385 100644 --- a/blog/_posts/2017-09-07-third-dotty-milestone-release.md +++ b/blog/_posts/2017-09-07-third-dotty-milestone-release.md @@ -18,7 +18,7 @@ You can learn more about Dotty on our [website](https://dotty.epfl.ch). -This is our third scheduled release according to our [6-week release schedule](https://dotty.epfl.ch/docs/usage/version-numbers.html). +This is our third scheduled release according to our 6-week release schedule. The [previous technology preview](/blog/2017/07/12/second-dotty-milestone-release.html) improved stability and reliability: - substantial improvement of quality of generated code for pattern matching