Build #40 (Jul 19, 2017 1:01:20 AM)

Git (source)

1. Fix minor typo (detail)
2. Fix: look for dirs doc/HTML in the resource path (detail)
3. Increase the default number of search results (detail)
4. glossary: fix a sentence (detail)

Started by upstream project mgmt_build_xenial_stable build number 82
originally caused by:

• Started by upstream project mgmt_progenitor build number 891
  originally caused by:
  • Started by timer

• refs/remotes/packaging/kubuntu_stable

• refs/remotes/upstream/Applications/17.08