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	bf
Assigned To		Topics

Created on 2017-08-12.20:48:31 by bf, last changed 2017-08-12.20:48:31 by bf.

Messages
msg19569 (view)	Author: bf	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	bf	create