>I think this is the same problem as ><http://bugs.gnu.org/19119>, which
>was fixed a while back.

>This suggests that it’s high time for a >release.  ;-)

I don't think there where any big features added that are worthy of a 0.9 release yet. Its just a couple package updates, bug fixes, and a couple feature additions. I think a 0.8.1 would be adequate.