# 
# patch "CVS_prot"
#  from [af90502abfe61806fd56a3139eecae4783a89cdf]
#    to [c297cb4303299fc2656ea9798ba43071dc85eed5]
# 
# patch "cvs_client.cc"
#  from [3f01fceeaeaac040e75b23798fd80630b957e655]
#    to [35fb116911406b68ab733f510f02ac356e949896]
# 
========================================================================
--- CVS_prot	af90502abfe61806fd56a3139eecae4783a89cdf
+++ CVS_prot	c297cb4303299fc2656ea9798ba43071dc85eed5
@@ -146,3 +146,5 @@
 
 pull since future (two hours), push/commit, pull again (gives dismonotoneous
 time)
+
+binary files, execution permission
========================================================================
--- cvs_client.cc	3f01fceeaeaac040e75b23798fd80630b957e655
+++ cvs_client.cc	35fb116911406b68ab733f510f02ac356e949896
@@ -1067,6 +1067,9 @@
         i!=server_dir.rend();++i)
   { if (begins_with(file,i->second))
     { file.replace(0,i->second.size(),i->first);
+      // remove additional slashes (e.g. sourceforge gc-linux)
+      while (file.size()>i->first.size() && file[i->first.size()]=='/')
+        file.erase(i->first.size(),1);
       break;
     }
   }