CVS difference for ai12s/ai12-0302-1.txt

--- ai12s/ai12-0302-1.txt	2019/10/02 00:04:11	1.4
+++ ai12s/ai12-0302-1.txt	2019/10/02 01:42:49	1.5
@@ -576,3 +576,11 @@
 The fact that this is not handled in this AI needs to be mentioned in this AI.
 
 ****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, October 1, 2019  7:05 PM
+
+I don't think you addressed Steve's concerns, either (see the "summary of
+private mail" toward the end of the !appendix).
+
+****************************************************************