| Fri, 24 Jul 2015 16:15:17 +0200 | Julien Cristau | [server/sources] add decode_extid method | changeset | files |
| Wed, 29 Jul 2015 10:18:56 +0200 | Julien Cristau | [server/repo] kill repo.pinfo() | changeset | files |
| Wed, 29 Jul 2015 10:18:23 +0200 | Julien Cristau | [web/sessions] simplify session cleanup | changeset | files |
| Wed, 29 Jul 2015 10:17:42 +0200 | Julien Cristau | [server/repo] fix typo | changeset | files |
| Fri, 24 Jul 2015 16:09:29 +0200 | Julien Cristau | [server/sources] AbstractSource.__ne__ | changeset | files |
| 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 |