On 14.06.2018 22:52, Paul Eggert wrote:
> On 06/13/2018 04:23 AM, Tim Rühsen wrote:
>> Just FYI (please let me know if there is a bug tracker for gnulib).
> There's no bug tracker, just bug-gnulib@gnu.org.
>
> How can one reproduce the problem mentioned below? It's not a recent
> problem, whatever
On 06/13/2018 04:23 AM, Tim Rühsen wrote:
Just FYI (please let me know if there is a bug tracker for gnulib).
There's no bug tracker, just bug-gnulib@gnu.org.
How can one reproduce the problem mentioned below? It's not a recent
problem, whatever it is, as that file hasn't had two spaces for qu
