2.0.1
Andrej Radović
@andrejr
a4df6e21
·
Fixed missing arrow by using \rightarrow.
·
Nov 11, 2019
A bugfix release.
