From bd9f88c6819f403f5f2d9fc5f3e1ec7c64027094 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@hasufell.de>
Date: Mon, 23 Sep 2019 14:53:47 +0200
Subject: [PATCH] Heimdal

---
 options.conf | 2 --
 1 file changed, 2 deletions(-)

diff --git a/options.conf b/options.conf
index b817502..890c9e4 100644
--- a/options.conf
+++ b/options.conf
@@ -54,5 +54,3 @@
 
 # GHC
 virtual/GHC providers: -* GHC
-
-*/* providers: -heimdal krb5