[Top][All Lists]

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

[bug#38678] [PATCH v3] better filter in 'refresh'

From: zimoun
Subject: [bug#38678] [PATCH v3] better filter in 'refresh'
Date: Wed, 8 Jan 2020 20:12:06 +0100

On Wed, 8 Jan 2020 at 19:53, zimoun <address@hidden> wrote:

> The short option '-L' is dropped of the %standard-build-options.

My bad!
The patch v2 keeps only "load-path" when only #\L must be dropped out.
It is more about style than concrete issue.

All the best,

reply via email to

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