From 9b69c99f4e4116d4272dffc4b3acd3f20f1930d6 Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Sat, 30 Jan 2021 16:40:40 -0800
Subject: [PATCH] Update INSTALL

---
 INSTALL | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/INSTALL b/INSTALL
index 1ba2275..f6b0771 100644
--- a/INSTALL
+++ b/INSTALL
@@ -211,7 +211,10 @@ like to contribute an installation script, we would welcome it!)
    support other Linux distributions.
 
 
-Good luck!
+As always, please feel free to submit issues or pull requests for
+installation-related features.
+
+Good luck, and have fun!
 
 Mininet Developers