Re: Move FILE buckets on setaside (like/as a morphing bucket)?

[Ruediger Pluem]

On 4/26/20 5:26 PM, Yann Ylavic wrote:

> So, how about we do that?
> Would look like the attached patch (which also removes the misleading

Did I miss the attachment? :-)
Or even better, can we have this as a PR against trunk on github? This ensure 
that it has run already through all the Travis stuff.

Regards

Rüdiger