v4.0.2

4.0.2

(Full Changelog)

Bugs fixed

• Force analysis of pycrdt_websocket imports, fix types #476 (@krassowski)
• Fix cleanup logic and suppress repetitive error logs #475 (@Darshan808)
• Reset dirty state only when the file is saved #472 (@Darshan808)

Maintenance and upkeep improvements

• Remove suspected unused code #478 (@krassowski)

Documentation improvements

• Fix "Edit on GitHub" link in documentation #471 (@Darshan808)

Contributors to this release

(GitHub contributors page for this release)

@Darshan808 | @github-actions | @krassowski