Skip to content
This repository was archived by the owner on Apr 20, 2026. It is now read-only.

Rename symbols

Rename symbols #12

Triggered via pull request May 27, 2025 23:53
Status Success
Total duration 36s
Artifacts
buildPotFileAndCheckTranslatorsComments
27s
buildPotFileAndCheckTranslatorsComments
Fit to window
Zoom out
Zoom in