nikisweeting 2 days ago

and stop removing extra leading whitespace before inline comments (#7684)