Add an independent entry of the 5.0.2 mysql bump.