Raspberry Pi port, piCore-15.0 is available!
Warning:you are running version 13.0.3The latest release is 12.0Please Standby... Now checking your extensions.Scan for updates completed.
Hi JuanitoThe latest-$(getBuild) files for ARM are out of date.
They should contain 13.0 or 13.0.3. So that warning is basically a lie.