Build #15 (May 13, 2017 9:08:29 PM)

1. Pull change from 1.10.2, Fix a bug I created with the previous commit, (details / githubweb)

Push event to branch 1.11 at 9:08:23 PM on May 13, 2017

This run spent:

• 26 ms waiting;
• 1 min 8 sec build duration;
• 1 min 8 sec total from scheduled to completion.

• 1.11