trigger push of debian branch to github mirror
Add patch to fix multipart doc parsing.