Skip to content

make displayname of HistoryWidget configurable for alternate text (#8… #3888

make displayname of HistoryWidget configurable for alternate text (#8…

make displayname of HistoryWidget configurable for alternate text (#8… #3888