Issue 2543: darcs push "" throws an 'impossible' exception - Darcs bug tracker

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

Created on 2017-08-12.20:48:31 by bfrk, last changed 2017-08-12.20:48:31 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.

History
Date	User	Action	Args
2017-08-12 20:48:31	bfrk	create