Summary of changes: 965b0c9... updated for 3.1.17 (*) 3ccbc93... updated sources for 3.1.17 (*) 3c13ac8... updated for f19 (*) This commit already existed in another branch; no separate mail sent