Version bump for #580
commit51b5386e96188e3c2ffc3d6c06f693814a3c7b7d
authorMichael Snoyman <michael@snoyman.com>
dateSun 4 Sep 2016, 08:45 (10 years ago)
parente1e536f
wai-extra/ChangeLog.md+4
@@ -1,3 +1,7 @@
1+## 3.0.17
2+
3+* Gzip pre compressed [#580](https://github.com/yesodweb/wai/pull/580)
4+
15## 3.0.16.1
26
37* Fix the way the header length is checked (for limiting the max header length)
wai-extra/Network/Wai/Middleware/Gzip.hs+2
@@ -60,6 +60,8 @@ data GzipFiles
6060 -- some directory.
6161 | GzipPreCompressed GzipFiles -- ^ If we use compression then try to use the filename with ".gz"
6262 -- appended to it, if the file is missing then try next action
63+ --
64+ -- @since 3.0.17
6365 deriving (Show, Eq, Read)
6466
6567-- | Use default MIME settings; /do not/ compress files.
wai-extra/wai-extra.cabal+1−1
@@ -1,5 +1,5 @@
11Name: wai-extra
2−Version: 3.0.16.1
2+Version: 3.0.17
33Synopsis: Provides some basic WAI handlers and middleware.
44description:
55 Provides basic WAI handler and middleware functionality: