Port merged Pull Request

Minor pt-PT translation fixes #59

Sign in to view logs

Summary
Jobs
- port_pr
Run details
- Usage
- Workflow file

Triggered via pull request September 7, 2023 15:34

tdonohue

closed #2470

Status Success

Total duration 28s

Artifacts –

port_merged_pull_request.yml

on: pull_request_target