From f1ec998e711454f0da0e47bb3192ee9e41dfd11a Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Tue, 14 Jan 2020 15:16:36 +0100
Subject: [PATCH] fixes #13104 [backport] (#13142)

(cherry picked from commit 8b00586488c9b5ef8935d2fbbca4e3dd1a1b1938)
---
 compiler/installer.ini | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/installer.ini b/compiler/installer.ini
index e2a9380f34..a1e8b51c8f 100644
--- a/compiler/installer.ini
+++ b/compiler/installer.ini
@@ -65,6 +65,7 @@ Files: "compiler"
 Files: "doc"
 Files: "doc/html"
 Files: "tools"
+Files: "tools/nim-gdb.py"
 Files: "nimpretty"
 Files: "testament"
 Files: "nimsuggest"