RELEASE CONCLUDED; NO CHANGES, PLEASE. The release branch is now 13.2
___version=13.0.19
Authored by: hansonr 2013-07-18
Parent: [r18469]
Child: [r18471]