Build #987 (Aug 18, 2020 7:19:02 PM)

1. minor style nit (details / githubweb)

Started by upstream project mango-prb build number 987
originally caused by:

• GitHub pull request #559 of commit f0ef1ebbf7d79428e301dfea0c5cd5cf64624832, no merge conflicts.

• origin/pr/559/merge