Merge from trunk in preparation of version 1.1 release
CHANGES: new file containing a condensed list of user-facing changes between releases
Merge from trunk for version 1.2 release
CHANGES: update for version 1.2
Merge from trunk for version 1.3 release
CHANGES: update for version 1.3