GitHub pull request #6918 of commit 25e07002d94bdc9994010cbde2061dc073086fc0, no merge conflicts.
This run spent: