Build #134 (Jun 9, 2018 10:31:09 PM)

1. Update header.html (details / githubweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 0.49 sec build duration;
• 9.3 sec total from scheduled to completion.

• origin/gh-pages