Bugfix: exc_info is a function
Merge branch 'master' into debian
New upstream release