On Thu, Sep 19, 2024 at 10:11:38AM +0200, David Hildenbrand wrote: > > > And repin is really misleading. We are simply adding more pins to an already pinned one ... > > > > Jason suggests a better name in the other thread. > > I would prefer something that simply adds more pins to an already pinned > folio. Much easier to get. Yes, but also nobody should ever want to do that operation, it should always be part of some kind of "splitting" sort of behavior.. Jason
