The rest looks fine.
After undoing the rename of the platform, all works well again.
« Back to merge proposal
The rest looks fine.
After undoing the rename of the platform, all works well again.