Re: [armedbear] #322: Fix ABCL-ASDF:RESOLVE to be more DWIM (was: Update contrib for abcl-1.5.0)