[Gretl-devel] another release?

I'm wondering if people think it would be worth doing a fairly quick release of gretl 1.9.14. The reason I ask is that two rather unpleasant things have come up with 1.9.13: * In the quartz build of gretl for OS X the bundled version of gnuplot did not work properly in stand-alone mode. That is, if you selected "Gnuplot" from the Tools menu gnuplot started OK but wouldn't plot anything and couldn't find its help file. * In the apparatus for building a gfn function package, the parsing of "value labels" for integer function arguments was broken for the case where these label strings contained spaces. These things are now fixed in CVS and snapshots (along with a couple of other relatively minor bugs). Maybe we should push out a release before embarking on substantial new development in CVS? (I might just mention: some bugs associated with printf/sprintf, reported recently by Ignacio, were not present in 1.9.13, they were the result of some post-release changes -- and they're now fixed.) Allin