Skip to content
This repository was archived by the owner on Nov 7, 2025. It is now read-only.

Conversation

@mieciu
Copy link
Member

@mieciu mieciu commented Oct 15, 2024

There's been a change in Quesma dependencies

@avelanarius avelanarius enabled auto-merge October 15, 2024 13:06
@avelanarius avelanarius added this pull request to the merge queue Oct 15, 2024
Merged via the queue into main with commit 8639bd0 Oct 15, 2024
4 checks passed
@avelanarius avelanarius deleted the notice/20241015130526 branch October 15, 2024 13:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants