From b78bff61a0950f0b96158468faecf37eebe97c09 Mon Sep 17 00:00:00 2001
From: Eric Kooistra <kooistra@astron.nl>
Date: Tue, 26 Apr 2022 16:17:51 +0200
Subject: [PATCH] Upgrade to Linux Mint 20.

---
 doc/erko_howto_tools.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/erko_howto_tools.txt b/doc/erko_howto_tools.txt
index f1eff095de..3371412936 100755
--- a/doc/erko_howto_tools.txt
+++ b/doc/erko_howto_tools.txt
@@ -801,6 +801,9 @@ sudo chgrp -R software dirname  # recursively change group of 'dirname' to 'soft
 
 sudo chown user_name file_name  # change user,group
 
+# Linux upgrade
+https://linuxmint-user-guide.readthedocs.io/en/latest/upgrade-to-mint-20.html
+
 *******************************************************************************
 * ICT diensten
 *******************************************************************************
-- 
GitLab