log sat/plugins/plugin_misc_merge_requests.py @ 3109:6844b2d18eba

age author description
Wed, 25 Sep 2019 08:56:41 +0200 Goffi jp: jp asyncio port:
Tue, 13 Aug 2019 19:08:41 +0200 Goffi Python 3 port:
Fri, 14 Jun 2019 12:37:34 +0200 Goffi plugins schema, tickets, merge_requests: use serialised data for extra dict + some cosmetic changes