debian updates

Hello, please find attached my current updates to the debian/* files, diffed against latest git. I would like to make an upload to the Debian archive soon, to fix the release- critical bug http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=560516 (which is done by a rather simple patch to

[PATCH] two cleanup commits

Hi, I've pushed for review to http://strace.git.sourceforge.net/git/gitweb.cgi?p=strace/strace;a=shortlog;h=ldv/cleanup two cleanup commits: http://strace.git.sourceforge.net/git/gitweb.cgi?p=strace/strace;a=commitdiff;h=v4.5.19-20-g257e157 - Merge Linux internal_clone() into internal_fork()