Re: [armedbear-devel] Patch with improvements to stable-sort and sort