Re: [MacPorts] #16235: portindex should support reindexing a single port