log

age author description
Fri, 01 Jun 2018 12:55:25 +0200 Goffi server: set jid and started time in session on log-in:
Fri, 01 Jun 2018 12:52:14 +0200 Goffi pages (merge-requests, tickets): use new "labels_as_list" flag in extra
Fri, 01 Jun 2018 12:50:41 +0200 Goffi pages (tickets/new): fixed use of legacy "reporter" instead of "author"