v0.0.215

github-actions released this 30 Sep 11:16

· 115 commits to master since this release

c59a5d2

Fix a bug where the InfoView would sometimes display stale messages (#668)
Add \ma shortcut for \mapsto (#667, author: @vasnesterov)

Contributors

vasnesterov

Assets 3