Skip to content

Conversation

@fw-bot
Copy link
Collaborator

@fw-bot fw-bot commented Aug 8, 2023

task-2203035

Forward-Port-Of: #5142

@robodoo
Copy link
Collaborator

robodoo commented Aug 8, 2023

@xpl-odoo
Copy link
Contributor

xpl-odoo commented Aug 8, 2023

@fw-bot r+

robodoo pushed a commit that referenced this pull request Aug 9, 2023
task-2203035

closes #5381

X-original-commit: bd50b39
Signed-off-by: Xavier Platteau (xpl) <[email protected]>
@robodoo robodoo temporarily deployed to merge August 9, 2023 03:29 Inactive
@robodoo robodoo closed this Aug 9, 2023
@robodoo robodoo added the 16.5 label Aug 9, 2023
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