% This file is generated by ../tools/getversioninfo;
% do not edit manually.

\release{2.3.5}
\setreleaseinfo{}
\setshortversion{2.3}
