Re: [armedbear-devel] has anyone reviewed ticket #247?