0.7.1 or 0.8.0?

[Andrei Savu]

Hi All,

I think we should ditch 0.7.1 and go for 0.8.0. We've added so many things
to trunk lately - this is no longer a bug-fixing release.

What do you think? Should I go ahead and update JIRA?

-- Andrei Savu / andreisavu.ro