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 [email protected] | ICQ# 74513189 | GPG-Keyid: 4743206C JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
