[darcs-devel] [issue2543] darcs push "" throws an 'impossible' exception

[Ben Franksen]

New submission from Ben Franksen <ben.franksen at online.de>:

I noticed that when I looked at the code for pushCmd. There is other
stuff there that looks fishy. Will fix.

----------
messages: 19569
nosy: bf
status: unknown
title: darcs push "" throws an 'impossible' exception

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue2543>
__________________________________