From a7f38314572e0664e40b7bd90d995198eaf04cd5 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@gnu.org>
Date: Fri, 2 Aug 1996 15:12:28 +0000
Subject: [PATCH] Restoring good RCS id.

-- 
2.47.3