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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0300-1.txt

--- ai12s/ai12-0300-1.txt	2019/01/08 03:33:01	1.1
+++ ai12s/ai12-0300-1.txt	2019/01/11 08:27:41	1.2
@@ -177,8 +177,3 @@
 root-integer, and how they are *not* more generally usable.
 
 ****************************************************************
-
-From: Tucker Taft
-Sent: Tuesday, December 11, 2018  8:35 AM
-
-****************************************************************

Questions? Ask the ACAA Technical Agent