GitHub pull request #707 of commit 7f5c7e7cf9a06484b1ac68f3e0023b52f688743f, no merge conflicts.
This run spent: