# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 711753101 0
# Node ID f40ed8ebb09eae3bb32a16ddc80116a1db1c3b11
# Parent  dcfb4a00adb3c026410d74eb18429bb397792509
*** empty log message ***

diff -r dcfb4a00adb3 -r f40ed8ebb09e etc/=MACHINES
--- a/etc/=MACHINES	Tue Jul 21 20:31:06 1992 +0000
+++ b/etc/=MACHINES	Tue Jul 21 21:11:41 1992 +0000
@@ -260,7 +260,7 @@
   18.51 worked in one version of their operating system but stopped
   working in a newer version.  This has not been fixed.
 
-DECstation (-machine=pmax; -opsystem=bsd4-2)
+DECstation (-machine=pmax; -opsystem=bsd4-3)
 
   Works, as of 18.55.  See under Ultrix for problems using X windows
   on Ultrix.  Note that this is a MIPS machine.