Alexander Leidinger

Portmgr committed the switch to the new default linux base port yesterday. After returning home from work I committed the corresponding UPDATING entry.

Today I marked all unmaintained/old linux base ports as deprecated (some are marked because they are EOL, some are marked because of bitrod). I use a expiration time of about 3 months. So while there’s plenty of time to update, you should do it now.