Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/master'
Let's dump core when perm coverage is totally out...
coverage restart.
Add missing break.
Fix debian packaging warnings
Fix coverage restart. I hope
merge
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Merge remote-tracking branch '01/devel'
Fix usecase coverage bug when no matching action