22 Jun
2012
22 Jun
'12
1:01 a.m.
Hi,
I believe UNMERGE-PATHNAMES should not signal an error if called with #P"" as its second argument. Instead it should return its first argument.
I attached a possible bugfix.
Cheers, max