From 91c9e226518d9b833ce78e48191ef489bc9a76da Mon Sep 17 00:00:00 2001
From: Marcin Banasiak <marcin.banasiak@gmail.com>
Date: Thu, 31 Jan 2013 14:19:13 +0100
Subject: [PATCH] Add missing $Header content that got lost during git
 migration

---
 buffer-debian-1.19-7.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buffer-debian-1.19-7.patch b/buffer-debian-1.19-7.patch
index b798d70..0b229e8 100644
--- a/buffer-debian-1.19-7.patch
+++ b/buffer-debian-1.19-7.patch
@@ -69,7 +69,7 @@
  #include "sem.h"
  
  #ifndef lint
- static char *rcsid = "$Header$";
+ static char *rcsid = "$Header: /a/swan/home/swan/staff/csg/lmjm/src/buffer/RCS/buffer.c,v 1.19 1995/08/24 17:46:28 lmjm Exp lmjm $";
  #endif
  
 -#ifndef __alpha
-- 
2.44.0