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 /changelog.md | |
| parent | 5c1376f312ea560cd982e334d7af5e8955ec5e12 (diff) | |
| download | xmobar-f0795239ddad9b58ef832b91efb43620a909f7a0.tar.gz xmobar-f0795239ddad9b58ef832b91efb43620a909f7a0.tar.bz2 | |
Drop support for GHC < 8.4 (fixes issue #461)0.35.1
Diffstat (limited to 'changelog.md')
| -rw-r--r-- | changelog.md | 9 |
1 files changed, 6 insertions, 3 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) |