Hi, Am Mittwoch, den 27.02.2013, 21:11 +0100 schrieb Denis Laxalde: > 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. Greetings, Joachim -- Joachim "nomeata" Breitner Debian Developer nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
Attachment:
signature.asc
Description: This is a digitally signed message part