Build #263:   Merge bbd102f8abdb92ec7e043ec681a12538cd4d8847 into 243fe00e44838acf74b80a5cc6533f1ecda... on branch summary-verbosity over 4 years ago