Merge branch 'rename_renametab' into 'master'

Authored by hindenburg on Jun 18 2020, 6:49 AM.

Description

Merge branch 'rename_renametab' into 'master'

Change 'Rename Tab' to 'Temporary Tab Settings'

See merge request utilities/konsole!122

Merged Changes

CommitAuthorDetailsCommitted
55f0ca4151efhindenburg
Change 'Rename Tab' to 'Temporary Tab Settings' 
Jun 16 2020