[Top][All Lists]

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

Re: Repeat bar

From: Valentin Petzel
Subject: Re: Repeat bar
Date: Fri, 5 Nov 2021 15:52:35 +0000 (UTC)

Well, that's true. By the way the german translation does specify that this 
should not produce any warnings or errors that are unrelated to the problem.


05.11.2021 15:31:17 David Kastrup <>:

> Valentin Petzel <> writes:
>> Hello David,
>> I think that is implicitly specified by the term „working”.
> The word "working" is not anywhere on the webpage
> <>.
> -- 
> David Kastrup

reply via email to

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