Issue 2543: darcs push "" throws an 'impossible' exception

Title	darcs push "" throws an 'impossible' exception
Priority		Status	resolved
Milestone		Resolved in
Superseder		Nosy List	bfrk
Assigned To		Topics

Created on 2017-08-12.20:48:31 by bfrk, last changed 2024-06-28.04:53:13 by bfrk.

Messages
msg19569 (view)	Author: bfrk	Date: 2017-08-12.20:48:30
I noticed that when I looked at the code for pushCmd. There is other stuff there that looks fishy. Will fix.

Issue 2543 darcs push "" throws an 'impossible' exception