add patch headers

diff --git a/debian/patches/include_typeinfo b/debian/patches/include_typeinfo
index a716427249f4b860756dcacaba64446f228dea27..8885642f0a4ad2d29a02e87190a5a95886dcaa23 100644 (file)
--- a/debian/patches/include_typeinfo
+++ b/debian/patches/include_typeinfo
@@ -1,3 +1,9 @@
+Subject: include required by recent compiler
+Descrpition: a recent gcc version requires an include
+Author: Olivier Sallou <osallou@debian.org>
+Forwarded: yes
+Bug: sent by mail
+Last-Updated: 2014-0-30
 --- a/c++/src/corelib/ncbi_os_unix.cpp
 +++ b/c++/src/corelib/ncbi_os_unix.cpp
 @@ -29,6 +29,7 @@