From: Ralf Treinen <treinen@debian.org>
Date: Thu, 5 Sep 2019 13:01:02 +0200
Subject: make Safer policy the default

Bug-Debian: https://bugs.debian.org/583994
---
 src/launch.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/launch.ml b/src/launch.ml
index 3fbee8a..dbb0c68 100644
--- a/src/launch.ml
+++ b/src/launch.ml
@@ -77,7 +77,7 @@ type policy =
 
 (* Policy assignment. *)
 let get_policy, set_policy =
- let policy = ref Ask in
+ let policy = ref Safer in
  (fun () -> !policy),
  (function
   | Safer -> policy := Safer
