PHP 7.2 not picked up by Virtualmin

https://www.virtualmin.com/node/54816 had been created on forums and not as an issue to track.

Even-though the https://github.com/virtualmin/virtualmin-gpl/pull/43/files reposted as committed back on January, the PHP 7.2 support is still missing on systems with have automatic update including for Virtualmin repositories. The current software versions:

Webmin version 1.872
Usermin version 1.734 Virtualmin version 6.02

I wonder when we will see PHP 7.2 support reflected on all servers?

Status: 
Closed (fixed)

Comments

Yeah, we should do a new release to push this out shortly.

So then we could mark this as fixed pending then?

Status: Fixed ยป Closed (fixed)

Automatically closed - issue fixed for 2 weeks with no activity.