debian/source/format
author Sylvain Thénault <sylvain.thenault@logilab.fr>
Fri, 10 Mar 2017 18:24:40 +0100
changeset 12027 c62c80f20a82
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[repo] Stop closing session The only point in "closing" session is to call the `session_close` event. Since I'm not aware of any application relying on it, I think this is too costly (in term of code) to maintain and propose to drop it.

1.0