Re: git: 281830982455 - main - security/rosenpass: install manual pages

On Tue, Sep 12, 2023 at 01:27:36PM +0200, Ashish SHUKLA wrote:
> On 2023-09-11 19:11, Robert Clausecker wrote:
> > Hi Ashish,
> > 
> > Once again, this one already exists as net/rosenpass.
> > Please remove the duplicate port.
> 
> Sorry, I'll remove it shortly :(
> 
> I checked my ports tree's INDEX-13 file, and bugzilla after updating the

INDEX files are quite useless these days (if they ever were), you'd far
better off with grep -i ... /usr/ports/*/Makefile and /usr/ports/MOVED.
The last one would help with restoring previously deleted ports, but as
we started to trim old MOVED entries (big mistake) one should also check
freshports.org which diligently preserves ports history since its dawn.

./danfe