Hey > Should be fixed now. > On further thought, perhaps a good idea would be to introduce server side push hooks that ensure that no merge markers are left ?
Cheers Rohan Garg -- kubuntu-devel mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/kubuntu-devel
