Skip to content

Merge branch 'dev' into issue-989

b918976
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Prevent color change of visited definitions in code blocks #990

Merge branch 'dev' into issue-989
b918976
Select commit
Loading
Failed to load commit list.

Annotations

12 warnings
Build with newer GHC 9.8.2
succeeded Dec 24, 2025 in 22m 9s