--- Net2/kern/kern_execve	2018/04/24 18:06:19	1.1
+++ Net2/kern/kern_execve	2018/04/24 18:08:38	1.1.1.2
@@ -36,7 +36,7 @@
 
 #include "machine/reg.h"
 
-static char rcsid[] = "$Header: /var/lib/cvsd/net2/Net2/kern/kern_execve,v 1.1 2018/04/24 18:06:19 root Exp $";
+static char rcsid[] = "$Header: /var/lib/cvsd/net2/Net2/kern/kern_execve,v 1.1.1.2 2018/04/24 18:08:38 root Exp $";
 
 /*
  * Bill's first-cut execve() system call. Puts hair on your chest.