On Thu, 2012-04-12 at 23:08 -0400, Craig Treleaven wrote:
> >commit 6184029ae0eadc6997427a9d823655dd8f7b4de5
> Umm, the VERSION file in the fixes/0.25 branch currently says
> "SOURCE_VERSION="v0.25pre""
> That's not right, is it?
Thanks, this has been fixed. Your comment also inspired me
to look at docs/doxygen-create-developer-docs.cfg and fix the
version number there.
-- Daniel