[Auto] Merge Status

(These will be send nightly summarizing what's in the queue for
merging into git master.)

Robin