IonCube 10.1.0

Hello,

IonCube 10.1.0 has been released and added to the versions.txt on files1:
https://www.ioncube.com/news.php

This release should also support php 7.2, and the build script has been updated to allow it.

Allow up to 24 hours for the other files mirrors to sync.

To get 10.1.0 (after your mirror syncs), type:
John

Is it normal that I don't get a notification in the plugin manager of CustomBuild?

In the Update Software tab is have: There are no updates available

But when I check tab Build Software is see that Ioncube is Version 10.1.0.
Run build command and Ioncube is updated.

But should it not be mentioned in Update Software tab?

Should update to php 7.2 or wait for other products to support it?
Thanks