Changes between #743 and #3744

No changes in any of the builds.