On 05/15/2012 09:02 AM, Eli Zaretskii wrote: > So I think you can safely push this.
Thanks, I did that here: http://git.savannah.gnu.org/cgit/diffutils.git/commit/?id=1f281b36801627601f8a92f26e8ac6a0a7e36526
On 05/15/2012 09:02 AM, Eli Zaretskii wrote: > So I think you can safely push this.
Thanks, I did that here: http://git.savannah.gnu.org/cgit/diffutils.git/commit/?id=1f281b36801627601f8a92f26e8ac6a0a7e36526