Re: Dependency on specific PHP version

[Mike Fischer]

Hi Paul!

Thanks!

Yes, I guess I’ll live with the extra packages.
-- 
Mike Fischer
> Am 08.01.2021 um 11:00 schrieb Paul de Weerd <we...@weirdnet.nl>:
> 
> Short version: it's complicated.  I decided to let php-7.3 getting
> installed not bother me :)