bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 61.


From: Bruno Haible
Subject: Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 61.
Date: Sun, 17 Mar 2024 12:14:17 +0100

Hi Collin,

All three patches applied. Thanks!

> And then diff'ing the shell and python output before part 60, after part
> 60, and then after this patch:
> 
> $ ls -l *.diff
> -rw-r--r--. 1 collin collin 1745735 Mar 16 20:00 0001-pre60.diff
> -rw-r--r--. 1 collin collin 1745735 Mar 16 20:03 0002-pre61.diff
> -rw-r--r--. 1 collin collin   22564 Mar 16 20:06 0003-post61.diff

Looks like you're on the finishing line now! Great work.

Bruno






reply via email to

[Prev in Thread] Current Thread [Next in Thread]