Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

primeng: admin migrations #1241

Merged
merged 1 commit into from
Jan 28, 2025
Merged

primeng: admin migrations #1241

merged 1 commit into from
Jan 28, 2025

Conversation

jma
Copy link
Contributor

@jma jma commented Jan 9, 2025

No description provided.

@github-actions github-actions bot added f: professional ui Professional interface f: editor Concerns editor based on JSON schema AND custom editor f: search f: circulation Concerns the circulation interface or backend labels Jan 9, 2025
@jma jma requested a review from Garfield-fr January 13, 2025 06:59
@jma jma marked this pull request as ready for review January 13, 2025 07:00

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Co-Authored-by: Johnny Mariéthoz <[email protected]>
Co-Authored-by: Bertrand Zuchuat <[email protected]>
@jma jma force-pushed the maj-next-migrations branch from a4038b8 to 91bc3dd Compare January 28, 2025 11:01
@jma jma merged commit 90d5ef1 into rero:next-version Jan 28, 2025
1 of 3 checks passed
@jma jma deleted the maj-next-migrations branch January 28, 2025 11:01
@github-actions github-actions bot removed f: editor Concerns editor based on JSON schema AND custom editor f: search f: circulation Concerns the circulation interface or backend labels Jan 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
f: professional ui Professional interface
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants