Follow-up Comment #5, sr #109053 (project administration): missing verbatim end-marker still problematic. i'll ask sergey at some point.
anyway, i'll commit the changes to git later today or tomorrow, and update the other tickets. right now they're running uncommitted. if some emergency happens when i'm offline, can just git reset --hard origin in frontend:/usr/src/savane. The original (pre-patch) files are also saved in ~karl/svbackup.tgz. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/support/?109053> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/