Closed jrudolph closed 5 years ago
This is needed because starting with Scala 2.13, unicode arrows are deprecated.
This is needed because starting with Scala 2.13, unicode arrows are deprecated.