#
#
# patch "git_export.cc"
#  from [4bfcc568b7c2bb455ccafc4887490dc3bcb65f19]
#    to [2dde3cdd8b8215c44ad3df6e755a9c5c6cda86cd]
#
============================================================
--- git_export.cc	4bfcc568b7c2bb455ccafc4887490dc3bcb65f19
+++ git_export.cc	2dde3cdd8b8215c44ad3df6e755a9c5c6cda86cd
@@ -89,6 +89,7 @@ import_marks(system_path const & marks_f
   data mark_data;
   read_data(marks_file, mark_data);
   istringstream marks(mark_data());
+  marks.peek();
   while (!marks.eof())
     {
       char c;