Closed sebastiencs closed 6 years ago
spot4e doesn't handle non-ascii characters:
That fixes it! Thanks sebastien
spot4e doesn't handle non-ascii characters: