Fri, 24 Jul 2015 16:09:37 +0200 | Julien Cristau | [server/sources] fix docstring for eid_type_source | changeset | files |
Mon, 27 Jul 2015 10:00:32 +0200 | David Douard | [views] fix ProcessInformationView: SESSION_MANAGER can be None (closes #5753280) | changeset | files |