rob e6581894e9 merge r25084 to release-1.12 13 lat temu
..
Server 59ede1801c Creating 1.12 release branch 13 lat temu
Decoder.php 59ede1801c Creating 1.12 release branch 13 lat temu
Encoder.php cf4f174777 Merged r25058 from trunk 13 lat temu
Exception.php 59ede1801c Creating 1.12 release branch 13 lat temu
Expr.php 59ede1801c Creating 1.12 release branch 13 lat temu
Server.php e6581894e9 merge r25084 to release-1.12 13 lat temu