Mike, thanks for this patch.

You seem to not have the copyright assignment for the GNU Libtool project.
Can you please update this?

Thanks,
Pavel


Reply via email to