ports.macports.org had missed at least one port

[Ryan Schmidt]

On Feb 20, 2022, at 11:57, Kirill A. Korinsky wrote:

> The url: https://ports.macports.org/port/gcc10-bootstrap/details/ says that port has been deleted.
> 
> But it quite alive: https://github.com/macports/macports-ports/blob/master/lang/gcc10-bootstrap/Portfile

Bug reports for the ports web site may be filed here:

https://github.com/macports/macports-webapp/issues