From: Joseph K. <jk...@us...> - 2019-07-27 15:43:12
|
On Fri, Jul 26, 2019 at 9:36 PM Mark Johnston <ma...@fr...> wrote: > It doesn't make sense to strip multiple files into a single output file. > Moreover, this is compatible with GNU strip. Added in [r3778] and [r3779], thanks! Regards, Joseph Koshy |