Re: [armedbear-devel] test results for 1.2.0-dev