Closed S-mardii closed 2 years ago
Is this on PP now?
This is on PP now.
@S-mardii I've done the branch re-org now: the Default branch is now main
(to match github's new standard layout), master
has been renamed to master-old
. We're going to abandon the php7 branch name, as it should have been done years back.
Noted with thanks.
@EricSoroos is this on Prod yet?
Fixed #375