Summary of changes: 6ad108b... Replace brown-bag patch with proper patch ... (*) ae3df85... Merging branch master into f13. (*) This commit already existed in another branch; no separate mail sent