From 8ead967d48b48020f6ce621f9b27363aca45c363 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Thu, 21 Nov 2019 10:40:48 -0500
Subject: win32-init: Drop workaround for #17480

The `process` changes have now been merged into `hsc2hs`.

(cherry picked from commit fa029f53132ad59f847ed012d3b835452cf16615)
---
 .gitlab/win32-init.sh | 2 --
 1 file changed, 2 deletions(-)

(limited to '.gitlab/win32-init.sh')

diff --git a/.gitlab/win32-init.sh b/.gitlab/win32-init.sh
index e30706ef90..aec73ce083 100644
--- a/.gitlab/win32-init.sh
+++ b/.gitlab/win32-init.sh
@@ -45,5 +45,3 @@ if [ ! -e $toolchain/bin/alex ]; then
     cp $APPDATA/cabal/bin/alex $toolchain/bin
 fi
 
-# Install new process to mitigate #17480.
-cabal install libraries/process
-- 
cgit v1.2.1