Skip to content

src: remove erroneous dot

Rodrigo Muino Tomonari requested to merge github/fork/MylesBorins/fix-dot into master

This got accidentally added when landing original commit

Merge request reports