When it has been added, to not change it. Consider it as a commit to the CVS, and it is there forever. Make a new bug report for the patch, and follow the above rules.
Let me clarify, instead of changing the patch, send a new bug report that fixes the filed patch, basically the same thing you would do if commiting to CVS. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
