release branch 5.12.0 tagged in cvs



Hello,

I have tagged a release branch in cvs.
cvs update -r RELEASE-5_12_0-BRANCH
should retrieve the branch.
I will also create tar.gz and rpm files for a release candidate
in a day or so.

HTH
Robert