Given that this has been a holiday weekend for many people, I'm going to postpone tagging rc4 until Wednesday evening UK time.
Could anybody who has any further release-critical bugfixes they want to get into this release make sure they are in pull requests on this list by about 1500 UTC tomorrow, please ? thanks -- PMM
