Re: [asdf-devel] [armedbear-devel] Upgrade issues