log sat/plugins/plugin_misc_merge_requests.py @ 3459:8dc26e5edcd3

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