Summary of changes: 2075f03... Maintenance version update. (*) 4588717... Improve parameter checking. (*) 9c9fdbe... Re-release of 1.18_81 as 1.19. (*) e8e6105... Merge remote branch 'origin/master' into f14 (*) This commit already existed in another branch; no separate mail sent