Follow-up Comment #1, sr #107253 (project administration): Hi,
The standard thing to do is make another commit restoring the desired state;
how about doing that? Actually undoing the unwanted commit in the repository
is not a simple task.
Best,
Karl
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107253>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
