From 075546a8135160827dfd9145a4f19a64a8e60d6c Mon Sep 17 00:00:00 2001 From: Lars Brinkhoff Date: Wed, 3 Feb 2021 12:28:55 +0100 Subject: [PATCH] Bug fix for tv11 not connecting to PDP-10 emulator. --- tools/tv11 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/tv11 b/tools/tv11 index 0af734cd..6066f6d9 160000 --- a/tools/tv11 +++ b/tools/tv11 @@ -1 +1 @@ -Subproject commit 0af734cd1a27a9d7f19649c212ca355addf1b791 +Subproject commit 6066f6d958db56280ec4bb4f07ce109a3f2290fd