Skip to content

Remove trailing dot from analyzer title#1298

Merged
josefpihrt merged 3 commits intomainfrom feature/remove-trailing-dotNov 28, 2023