Marker commit: previous commits are part of 3.3.7.RELEASE

This is an empty commit which purpose is to document that the
following commits were made between the "prepare release" commit and the
actual release, because the tests failed during release prep:

 - 2496470