Summary of changes: 96ea44e... update to 1.10.1 (#888202, bugfix release) (*) c583136... fix Source tag (file name changed) (*) (*) This commit already existed in another branch; no separate mail sent