GitHub pull request #17 of commit bd358ebf286163b094cd1025c361f95fb5adadfb, no merge conflicts.
This run spent: