log sat/plugins/plugin_misc_merge_requests.py @ 3456:6deea0d8d0e7

age author description
Thu, 04 Feb 2021 21:05:21 +0100 Goffi plugin tickets, merge_requests: renamed "tickets" feature to "lists":