From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Fri, 13 Sep 2019 07:09:10 +0000 (+0200)
Subject: Change gzip compression level to best_speed
X-Git-Tag: v9.2.0-rc1~1111^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=16ba1a1c084c075c4ff67377952547d945490edc;p=dealii.git

Change gzip compression level to best_speed
---

diff --git a/source/dofs/number_cache.cc b/source/dofs/number_cache.cc
index 5d5aa0125e..42e97076df 100644
--- a/source/dofs/number_cache.cc
+++ b/source/dofs/number_cache.cc
@@ -153,7 +153,7 @@ namespace internal
                 boost::iostreams::filtering_ostream out;
                 out.push(boost::iostreams::gzip_compressor(
                   boost::iostreams::gzip_params(
-                    boost::iostreams::gzip::best_compression)));
+                    boost::iostreams::gzip::best_speed)));
                 out.push(boost::iostreams::back_inserter(my_data));
 
                 boost::archive::binary_oarchive archive(out);