Skip to content

v1.1.3

Choose a tag to compare

@vale981 vale981 released this 14 Jun 22:32
· 32 commits to main since this release
  • display gravatar avatars at other editor's curser @nemethf
  • a nicer remote user overview @nemethf
  • overhauled the edit synchronization with overleaf (should be solid now)

Full Changelog: v1.1.2...v1.1.3