Re: [armedbear-devel] Spurious errors about redefinitions