make displayname of HistoryWidget configurable for alternate text #1033
Triggered via pull request
December 3, 2023 17:05
mawinter69
opened
#8740
Status
Success
Total duration
9s
Artifacts
–