Hi all, > Am 10.01.2021 um 20:47 schrieb Robert Huff <roberthuff at rcn.com>: > lang/php72 no longer exists. > What's up? PHP 7.2 is out of upstream support since Dec 1st 2020 and the port has consequently been retired for Q1. Kind regards, Patrick