From dc410d680e90429dd3852340021a3a2a37ea974d Mon Sep 17 00:00:00 2001 From: Fabio Madge Date: Tue, 15 Feb 2022 11:23:16 +0100 Subject: [PATCH] chore: Bump version to 3.4.1 (#1825) --- RELEASE_NOTES.md | 3 +++ Source/version.cs | 6 +++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 3887625a469..56f731e650f 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -1,5 +1,8 @@ # Upcoming + +# 3.4.1 + - feat: Plugin support in the resolution pipeline (https://github.com/dafny-lang/dafny/pull/1739) - fix: NullPointerException in the AST (https://github.com/dafny-lang/dafny/pull/1805) - fix: Change datatype deconstruction in match statements for C# (https://github.com/dafny-lang/dafny/issues/1815) diff --git a/Source/version.cs b/Source/version.cs index 22c27303c1a..02dd7841f42 100644 --- a/Source/version.cs +++ b/Source/version.cs @@ -1,4 +1,4 @@ using System.Reflection; -// Version 3.4.0, year 2018+4 month 1 day 12 -[assembly: AssemblyVersion("3.4.0.40208")] -[assembly: AssemblyFileVersion("3.4.0.40208")] +// Version 3.4.1, year 2018+4 month 2 day 15 +[assembly: AssemblyVersion("3.4.1.40215")] +[assembly: AssemblyFileVersion("3.4.1.40215")]