Skip to content

Adapt to clerk splitting#218

Merged
AltGr merged 1 commit intomasterfrom
arnaud@functori@split_clerk_utils
Apr 15, 2026
Merged

Adapt to clerk splitting#218
AltGr merged 1 commit intomasterfrom
arnaud@functori@split_clerk_utils

Conversation

@vincent-botbol
Copy link
Copy Markdown
Collaborator

No description provided.

@vincent-botbol vincent-botbol self-assigned this Apr 13, 2026
@AltGr AltGr merged commit ccdeb00 into master Apr 15, 2026
1 of 2 checks passed
@AltGr AltGr deleted the arnaud@functori@split_clerk_utils branch April 15, 2026 12:18
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Catala - language & tooling Apr 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants