v0.13.4

What's new in this version ?

This release has been published: Fri Nov 18 12:07:53 AM UTC 2022

List of changes:

Fix

• Simple bugfix3 (e57b1db)
• Simple bugfix2 (14b37a9)
• Simple bugfix1 (8d1b057)

Documentation

• Allow mention about old doc on website (33118f3)
• Change version (4a80def)