
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