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