search

flathub / org.freedesktop.Sdk.Extension.php73

0 stars 2 forks source link

Update PHP to 7.3.10 #5

Closed Lctrs closed 4 years ago

flathubbot commented 4 years ago

Started test build 9816

flathubbot commented 4 years ago

Build 9816 successful To test this build, install it from the testing repository:

flatpak install --user https://dl.flathub.org/build-repo/9318/org.freedesktop.Sdk.Extension.php73.flatpakref
p1u3o commented 4 years ago

Is this good to merge?

The 18.08 branch will also need updating.

Lctrs commented 4 years ago

It's good to merge. I can backport this to the 18.08 branch after.

6 is here for fixing the compilation of different extensions and providing working install/enable scripts.

p1u3o commented 4 years ago

K merging this.