Hi Nick, > This, and all other (more significant!) commits in this series, are now > pushed to master, but not yet to the release branch until Nick acks my > doing that. Please consider them ACK'ed. Cheers Nick