>>>>> On Wed, 8 Aug 2018, Michał Górny wrote: > Alternatively, we could remove the function entirely and inline its > use in the three packages that need it.
Sounds like a better plan. Removing the options is an incompatible change anyway, so maybe removing the function would be a cleaner solution? Especially if it's so little used. Ulrich
