Skip to content

Conversation

@PVince81
Copy link
Member

Signed-off-by: Vincent Petry <[email protected]>
@PVince81 PVince81 force-pushed the bugfix/noid/remove-files-duplicate-dom-ids branch from 9b796ec to 18bf942 Compare July 26, 2022 07:52
Copy link
Collaborator

@artonge artonge left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks ready to merge once parent PR is merged

@PVince81
Copy link
Member Author

all green

@PVince81 PVince81 force-pushed the bugfix/noid/remove-files-duplicate-dom-ids branch from 18bf942 to 8427a34 Compare July 26, 2022 10:23
@PVince81 PVince81 marked this pull request as ready for review July 26, 2022 10:23
@PVince81 PVince81 merged commit 1845db1 into master Jul 26, 2022
@delete-merged-branch delete-merged-branch bot deleted the bugfix/noid/remove-files-duplicate-dom-ids branch July 26, 2022 10:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants