Skip to content

Merge pull request #1894 from IntersectMBO/kderme/13.6.0.1 #5523

Merge pull request #1894 from IntersectMBO/kderme/13.6.0.1

Merge pull request #1894 from IntersectMBO/kderme/13.6.0.1 #5523

Annotations

1 warning and 6 notices

build (ubuntu-latest, ghc98)

succeeded Nov 8, 2024 in 34m 14s