Skip to content
This repository was archived by the owner on Oct 17, 2023. It is now read-only.

Document Noir PR 2532 #361

Closed
github-actions bot opened this issue Sep 1, 2023 · 0 comments
Closed

Document Noir PR 2532 #361

github-actions bot opened this issue Sep 1, 2023 · 0 comments
Labels
0.12 Part of Noir's v0.12 release migrated

Comments

@github-actions
Copy link

github-actions bot commented Sep 1, 2023

Document PR #2532 on the Noir repository.
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Sep 1, 2023
@Savio-Sou Savio-Sou added the pending-pr-merge Pending original Noir PR to be merged in. label Sep 4, 2023
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir Oct 10, 2023
@Savio-Sou Savio-Sou added 0.12 Part of Noir's v0.12 release and removed pending-pr-merge Pending original Noir PR to be merged in. labels Oct 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
0.12 Part of Noir's v0.12 release migrated
Projects
Noir
Archived in project
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Savio-Sou