GitHub pull request #861 of commit d8b75ac227b07b841d4cb35b998c4408db305bcd, no merge conflicts.
This run spent: