From c33b1959de871953f3feb9c194ea134433c64675 Mon Sep 17 00:00:00 2001
From: Paul Chote <pchote@users.noreply.github.com>
Date: Sat, 18 Apr 2020 13:09:31 +0100
Subject: [PATCH] Close mod/user.config too.

---
 make.ps1 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make.ps1 b/make.ps1
index f76bc24..92b0d06 100644
--- a/make.ps1
+++ b/make.ps1
@@ -233,6 +233,7 @@ function ParseConfigFile($fileName)
 			ReadConfigLine $line $name
 		}
 	}
+	$reader.Close()
 
 	$missing = @()
 	foreach ($name in $names)