> On 31 Dec 2022, at 19:20, Bogdan wrote:
>
> Karl Berry , Sat Dec 31 2022 03:30:42 GMT+0100 (Central
> European Standard Time)
> [snip]
>
>> For the same reason, it is good to explicitly cc a bug's originator and
>> anyone else who has contributed to the bug, if you happen to have them.
>
>
FWIW, as a user I think this is the expected behavior. The option is
named --add-missing, so if the file is not missing, I expect nothing to
happen.
I more or less agree, but the original suggestion from Ben
(https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33573) was for
--add-missing
Hi both,
On 1/1/23 05:20, Bogdan wrote:
Karl Berry , Sat Dec 31 2022 03:30:42 GMT+0100
(Central European Standard Time)
Hi Bogdan,
Someone reported a bug for this, so I simply gave it a try.
Thank you! I didn't realize you were working on some of the old bugs.
That is great!
:)
To
Hello, Automakers!
My last patch for now, this time for
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=20077:
- if $(V) is empty, use default verbosity,
- if $(V) = 0, be silent,
- if $(V) is neither empty nor 0, be verbose (not only with V=1, but
e.g. V=99).
Yes, requires some shell, but ju
Karl Berry , Sat Dec 31 2022 03:30:42 GMT+0100
(Central European Standard Time)
Hi Bogdan,
Someone reported a bug for this, so I simply gave it a try.
Thank you! I didn't realize you were working on some of the old bugs.
That is great!
:)
To bring this one in particular to fruition:
