Ubuntu Eoan (19.10) has moved to php7.3, however it had a sufficiently updated php7.2 already:
php7.2 | 7.2.19-0ubuntu1 | eoan | source, all
Ubuntu Eoan (19.10) has moved to php7.3, however it had a sufficiently updated php7.2 already:
php7.2 | 7.2.19-0ubuntu1 | eoan | source, all