Summary of changes: a47c66c... new upstream release 0.7.2 (*) eb226d3... Rediffed strict patch. (*) 0676810... Add patch. (*) abd268e... Merge commit '06768103ea18fd403c8e040eaf6fcebbf49539de' int (*) This commit already existed in another branch; no separate mail sent