Changing from php70 to php72 was not possible. Same thing on the other hand. This bug has now been fixed.