Skip to content

[I18N] *: export 16.0 source terms #4566

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

[I18N] *: export 16.0 source terms #4566

wants to merge 1 commit into from

Conversation

@mart-e
Copy link
Contributor

@mart-e mart-e commented May 30, 2023

No description provided.

@mart-e
Copy link
Contributor Author

mart-e commented May 30, 2023

robodoo r+

@robodoo
Copy link
Collaborator

robodoo commented May 30, 2023

Pull request status dashboard.

@robodoo robodoo closed this in c4bc3b5 May 30, 2023
@robodoo robodoo temporarily deployed to merge May 30, 2023 16:30 Inactive
@fw-bot fw-bot mentioned this pull request May 30, 2023
Closed
@fw-bot
Copy link
Collaborator

fw-bot commented Jun 3, 2023

@mart-e this pull request has forward-port PRs awaiting action (not merged or closed):
#4568

This was referenced Jun 3, 2023
Closed
Closed
Closed
@fw-bot
Copy link
Collaborator

fw-bot commented Jun 4, 2023

@mart-e this pull request has forward-port PRs awaiting action (not merged or closed):
#4617

1 similar comment
@fw-bot
Copy link
Collaborator

fw-bot commented Jun 5, 2023

@mart-e this pull request has forward-port PRs awaiting action (not merged or closed):
#4617

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mart-e @robodoo @fw-bot