debian/source/format
author David Douard <david.douard@logilab.fr>
Mon, 27 Jul 2015 10:00:32 +0200
changeset 11059 42a4d52dc88d
parent 6708 09c98763ae9d
child 12642 5722d8c461eb
permissions -rw-r--r--
[views] fix ProcessInformationView: SESSION_MANAGER can be None (closes #5753280) eg. with pyramid. (grafted from 6a07c2dc3d85f4de0cf48221607e02c4473e11e4)

1.0