Hi, Joachim Breitner a écrit :
What is the proper procedure with respect with the Darcs repo in such situations? Should I just fix things and push?yes. We might have two tags with the same name then in the repo... but doesn’t really hurt.
I've fixed the copyright and pushed. Thanks, Denis -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
