Port merged Pull Request

[Port dspace-7_x] Translate community as 'Bereich' in de.json5 #100

Sign in to view logs

Summary
Jobs
- port_pr
Run details
- Usage
- Workflow file

Triggered via pull request October 11, 2023 03:33

pnbecker

closed #2541

Status Success

Total duration 19s

Artifacts –

port_merged_pull_request.yml

on: pull_request_target