From b5930b62abd30afeb1e8e609f076e791ef36f504 Mon Sep 17 00:00:00 2001 From: Sophie Hirn Date: Sat, 2 Apr 2022 11:19:02 +0200 Subject: [PATCH] v1.2.5 release --- CHANGES.md | 2 ++ src/WSEdit/Data.hs | 4 ++-- wsedit.cabal | 2 +- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index d96dade..4d331ca 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,7 @@ # Unreleased +# v1.2.5 + ## New Features - `-ep` can now be used to preserve whitespace exactly on save. This should help diff --git a/src/WSEdit/Data.hs b/src/WSEdit/Data.hs index e844130..2d1e14b 100644 --- a/src/WSEdit/Data.hs +++ b/src/WSEdit/Data.hs @@ -110,7 +110,7 @@ import qualified WSEdit.Buffer as B -- | Version number constant. version :: String -version = "1.2.4.6" +version = "1.2.5.0" -- | Upstream URL. upstream :: String @@ -125,7 +125,7 @@ data Stability = Prototype -- | Current release stability stability :: Stability -stability = RC +stability = Release diff --git a/wsedit.cabal b/wsedit.cabal index 0cad88a..59a33e3 100644 --- a/wsedit.cabal +++ b/wsedit.cabal @@ -1,5 +1,5 @@ name: wsedit -version: 1.2.4.6 +version: 1.2.5.0 synopsis: A simple terminal source code editor. description: homepage: https://github.com/LadyBoonami/wsedit