gustafn
committed
on 08 Oct 22
replace ASCII middot by proper UTF8 middot, since the ASCII middot is no valid UTF-8