[Gretl-devel] gretl 1.8.5?

I'm thinking that we have now accumulated enough bug fixes (and incremental feature improvements) to warrant releasing gretl 1.8.5. Probably best to do so before we're tempted to embark on any major projects that might break things for a while. To that end I've updated gretl.pot, so it's ready for translation updates. Any comments, not-yet-reported bugs that people want to see fixed first? Allin.