[darcs-users] push mail error?
David Roundy
droundy at abridgegame.org
Mon May 19 10:56:43 UTC 2003
On Mon, May 19, 2003 at 06:37:37AM -0400, David Roundy wrote:
>
> > ... but you will probably get it, so you might want to look at the
> > headers whether there's anything funny in there.
>
> Alas, no. Pushes to ag.o/r/d go to this list, so you would have seen it.
I take that back. It was held up by mailman because of a lacking To:
header field (which made it look spammy). Hopefully this lack will be
rectified with the newline patch to push.
--
David Roundy
http://www.abridgegame.org
More information about the darcs-users
mailing list