On Sun, May 10, 2020 at 07:52:42PM -0000, Michael van Elst wrote: > And I'd like to talk to Martin, since 100% of the task is done if > we just add the missing dependency without the option.
Lets start with just the dependency and see if everything fits in the next build run. We can add the option later if needed (I don't like a SMALL option as it is very unspecific). Martin