GitHub pull request #117 of commit ed2124a063acac54aa51982f30053a2c75cb4a52, no merge conflicts.
This run spent: