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

Reply via email to