diff options
| author | jao <jao@gnu.org> | 2020-06-26 23:45:47 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2020-06-26 23:45:47 +0100 |
| commit | f0795239ddad9b58ef832b91efb43620a909f7a0 (patch) | |
| tree | c38dfbe288de10fb9a798f58f7c74d51fd9dd8e9 | |
| parent | 5c1376f312ea560cd982e334d7af5e8955ec5e12 (diff) | |
| download | xmobar-f0795239ddad9b58ef832b91efb43620a909f7a0.tar.gz xmobar-f0795239ddad9b58ef832b91efb43620a909f7a0.tar.bz2 | |
Drop support for GHC < 8.4 (fixes issue #461)0.35.1
| -rw-r--r-- | changelog.md | 9 | ||||
| -rw-r--r-- | xmobar.cabal | 4 |
2 files changed, 8 insertions, 5 deletions
diff --git a/changelog.md b/changelog.md index 5ef2b86..eb3f399 100644 --- a/changelog.md +++ b/changelog.md @@ -1,4 +1,6 @@ -## Version 0.36 (Unreleased) +## Version 0.35.1 (June, 2020) + +- Dropped support for GHC < 8.4 (see issue #461) ## Version 0.35 (June, 2020) @@ -19,8 +21,9 @@ _New features_ - Optimize date plugin by avoiding calling getTimeZone for each of the time the date has to be updated. Instead, it's computed once at the start and re-used for each invocation. - - Optimize Weather and UVMeter plugin by using global Manager instead of - creating for each http request when useManager is explicitly configured as False. + - Optimize Weather and UVMeter plugin by using global Manager + instead of creating for each http request when useManager is + explicitly configured as False. ## Version 0.33 (February, 2020) diff --git a/xmobar.cabal b/xmobar.cabal index 80f7020..4fee00e 100644 --- a/xmobar.cabal +++ b/xmobar.cabal @@ -1,5 +1,5 @@ name: xmobar -version: 0.36 +version: 0.35.1 homepage: http://xmobar.org synopsis: A Minimalistic Text Based Status Bar description: Xmobar is a minimalistic text based status bar. @@ -166,7 +166,7 @@ library ghc-options: -funbox-strict-fields -Wall -fno-warn-unused-do-bind build-depends: - base >= 4.9.1.0 && < 4.15, + base >= 4.11.0 && < 4.15, containers, regex-compat, process, |