Re: [armedbear] #433: merge-pathnames blocks error signal?