[darcs-users] darcs patch: Fix issue1183

David Roundy droundy at darcs.net
Thu Oct 30 16:58:37 UTC 2008

On Thu, Oct 30, 2008 at 09:49:11AM +0100, Thorkil Naur wrote:
> Thu Oct 30 08:56:00 CET 2008  Thorkil Naur <naur at post11.tele.dk>
>   * Fix issue1183

Applied, thanks!

Also note that if you make the patch name start with "resolve issue1183:",
then the bug will be automatically closed when I push, and if you mention
what change you made (or what the bug was) in the patch name, that's also


More information about the darcs-users mailing list