[OpenLayers-Users] dev/OpenLayers.js inconsistent with lib directory

[Norbert Renner]

Hello,

the dev OpenLayers.js [1] does not contain the recent changeset 12357 
[2], while the XYZ.js in the dev/lib directory [3] does.

Thanks,
Norbert

[1] http://openlayers.org/dev/OpenLayers.js
[2] http://trac.osgeo.org/openlayers/changeset/12357
[3] http://openlayers.org/dev/lib/OpenLayers/Layer/XYZ.js