php redirector to download latest iso (!307) · Merge requests · Tools / development-tools / manjaro-tools · GitLab

The source project of this merge request has been removed.

Merged Ghost User requested to merge (removed):patch-php-redirector into master Jan 24, 2020

https://forum.manjaro.org/t/manjaro-tools-osinfo-and-gnome-boxes-required-changes/120822