Eric Kow <[email protected]> added the comment: Whoops, sorry Petr, didn't pre-empt any sort of duplicate concurrent work (I pushed the patch just as you were amending it). Please feel free to just push the amendment as it's quite trivial. Next time in a similar situation I should try to say something like "I'm pushing now"
__________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch305> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
