Summary of changes:
ded3260... new upstream release 0.10.20 (*)
5b54d77... Merge branch 'f19' into f20 (*)
(*) This commit already existed in another branch; no separate mail sent
Summary of changes:
ded3260... new upstream release 0.10.20 (*)
5b54d77... Merge branch 'f19' into f20
(*) This commit already existed in another branch; no separate mail sent