GitHub pull request #662 of commit c30e4b77a96be00c1f80b958ce0f37092814466e, no merge conflicts.
This run spent: