From cc41c45c77e6acc6adfa606a7b13742b26d893d0 Mon Sep 17 00:00:00 2001
From: Eric Kooistra <kooistra@astron.nl>
Date: Tue, 19 Mar 2024 14:28:48 +0100
Subject: [PATCH] Add machine.

---
 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 76a7043e48..95e7cbfac3 100755
--- a/doc/erko_howto_tools.txt
+++ b/doc/erko_howto_tools.txt
@@ -795,6 +795,9 @@ then:
 > ping dop436.astron.nl
 > ping 10.87.0.236 (= dop346, Pieter)
 
+> ping dop458.astron.nl
+> ping 10.87.1.8 (= dop458, Reinier)
+
 > ping dop386.astron.nl
 > ping 10.87.0.186 (= dop386)
 
-- 
GitLab