1.725
a6034b82 · 1.725: resolve issue pointed out by pjb, whereby *default-pathname-defaults* can be #p"". · May 18, 2010