closing merged branch
draft bugfix/clang-format-tweaks
2020-07-14, Gary Kramlich