Merge branch 'devel' of github.com:01org/tlm into devel
Merge branch 'dbus' into devel
session: terminate process groups instead of just the particular child
Merge branch 'dbus' into devel
Merge branch 'devel' of github.com:01org/tlm into devel