On Sat, 14 Jan 2023 at 23:25, Morten Linderud wrote:
>
> devtools version 20230105-1 has been released into [core]!
>
> This enable the debug option for all our packages :)
Much nice! Went ahead and purged the debug option from */trunk/PKGBUILD.
(If someone thinks the option should stay for a bi
On 2022-12-20 11:49:28 (+0100), Pierre Schmitz wrote:
> On Tue, Dec 20, 2022 at 11:25 AM David Runge wrote:
> > Hm, I'm not so happy about this removing the checks and hardcoding
> > php-legacy though.
>
> The check is done by calling versioncheck.php directly as it fails
> when version constrain
