Hi Jovvy,
You should open a support ticket about it, if you didn't already.
Also, any particular reason why your development server is on an older release than your production one?
Regards,João Rosado