History
Versions
5
Version
Author
Diff
Last updated
v5
Ondřej Borýsek
Update setup
Dec 04, 2022
v4
Ondřej Borýsek
Update known_issues.md
Nov 04, 2022
v3
Ondřej Borýsek
Update known_issues.md
Nov 03, 2022
v2
Ondřej Borýsek
Update known issues
Oct 31, 2022
v1
Ondřej Borýsek
Extract known issues to a separate document
Oct 30, 2022