9.6 - Synchronise GitHub versions

No actual changes. I just added an empty line to force GitHub to
synchronise.