Meanwhile @binil while you don’t get the time to test. Can I just ask if you can revert at least to put back the 7.2?

Since having php 5.6.40 is messing a bit around some plugin compatibility when you did the switch.

If that could be done would be great and then we can test upgrade again when you get more time.