Re: [armedbear-devel] Upgrade issues