Skip to content

5.13.2

Compare
Choose a tag to compare
@marijnh marijnh released this 23 Mar 08:35
· 2091 commits to master since this release

Bugfixes

Solves a problem where the gutter would sometimes not extend all the way to the end of the document.