Skip to content

Add a changelog (and some minor cabal file changes)#38

Merged
jorisdral merged 4 commits into
mainfrom
jdral/changelog
Mar 4, 2026
Merged

Add a changelog (and some minor cabal file changes)#38
jorisdral merged 4 commits into
mainfrom
jdral/changelog

Conversation

@jorisdral

Copy link
Copy Markdown
Member

No description provided.

@jorisdral
jorisdral requested a review from edsko March 4, 2026 13:12
@jorisdral
jorisdral enabled auto-merge March 4, 2026 13:43
@jorisdral
jorisdral added this pull request to the merge queue Mar 4, 2026
Merged via the queue into main with commit dcfd24a Mar 4, 2026
11 checks passed
@jorisdral
jorisdral deleted the jdral/changelog branch March 4, 2026 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant