# HG changeset patch
# User wenzelm
# Date 1666461068 -7200
# Node ID 1928405a409b4113c87a2293c1a463345597a1ef
# Parent  3b9f36ef7365fd18cd87ec1d20bf77e813768676
prefer Zstd compression, notably for database exports;

diff -r 3b9f36ef7365 -r 1928405a409b src/Pure/General/compress.scala
--- a/src/Pure/General/compress.scala	Sat Oct 22 16:56:17 2022 +0200
+++ b/src/Pure/General/compress.scala	Sat Oct 22 19:51:08 2022 +0200
@@ -15,7 +15,7 @@
   /* options */
 
   object Options {
-    def apply(): Options = Options_XZ()
+    def apply(): Options = Options_Zstd()
   }
   sealed abstract class Options
   case class Options_XZ(level: Int = 3) extends Options {