From a7cb95a6b4db802b67179bf38fb7e06264405cad Mon Sep 17 00:00:00 2001
From: Andreas Steenpass <steenpass@mathematik.uni-kl.de>
Date: Mon, 20 May 2019 11:36:52 +0200
Subject: [PATCH] remove temporary workaround for package MbedTLS

---
 .travis.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 2c3b0aa..d6fc816 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -39,9 +39,6 @@ after_success:
           using Pkg;
           import PrymGreen;
           cd(realpath(joinpath(dirname(pathof(PrymGreen)), "..")));
-          @info "temporary workaround for\n"
-          * "https://github.com/JuliaWeb/MbedTLS.jl/issues/193";
-          Pkg.add(PackageSpec(name = "MbedTLS", version = "0.6.6"));
           Pkg.add("Coverage");
           using Coverage;
           Coveralls.submit(Coveralls.process_folder());