Completed
Pull Request — develop (#1579)
by Christian
22s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Christian Münch  
Merge 8819681073b8c4de059cab71b7d834b498b14daf into 988fd120b0a4457af3354b6dc9a9cbf16886fae7
6 more commits
Base
Christian Münch  
build: use PHP 8.3 to release phar